Journal of Computational Algebra最新文献

{"title":"Explicit construction of a plane sextic model for genus-five Howe curves, I","authors":"Tomoki Moriya ,&nbsp;Momonari Kudo","doi":"10.1016/j.jaca.2024.100018","DOIUrl":"10.1016/j.jaca.2024.100018","url":null,"abstract":"<div><p>In the past several years, <em>Howe curves</em> have been studied actively in the field of algebraic curves over fields of positive characteristic. Here, a Howe curve is defined as the desingularization of the fiber product over a projective line of two hyperelliptic curves. In this paper, we construct an explicit plane sextic model for non-hyperelliptic Howe curves of genus five. We also determine singularities of our sextic model. Some possible applications such as finding curves over finite fields of special properties are also described.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"11 ","pages":"Article 100018"},"PeriodicalIF":0.0,"publicationDate":"2024-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2772827724000081/pdfft?md5=9004f4fdfe0e247a7ff660ef199ecbd5&pid=1-s2.0-S2772827724000081-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141962696","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On the relations for the cluster tilted algebra resulting from a monomial tilted algebra","authors":"Melissa DiMarco","doi":"10.1016/j.jaca.2024.100016","DOIUrl":"10.1016/j.jaca.2024.100016","url":null,"abstract":"<div><p>First constructed by Fomin and Zelevinski <span>[13]</span>, cluster algebras have been studied from many different perspectives. One such perspective is the study of cluster tilted algebras. We focus on when <em>C</em> is a monomial tilted algebras and <span><math><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span> its associated cluster tilted algebra. We show the set of partial derivatives of the Keller potential form a minimal set of relations for <span><math><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span> and we show that if <em>C</em> is also Koszul, then there are overlap relations that can be used to determine if <span><math><mover><mrow><mi>C</mi></mrow><mrow><mo>˜</mo></mrow></mover></math></span> is Koszul. We use the tools of noncommutative Gröbner basis theory to prove these results.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"10 ","pages":"Article 100016"},"PeriodicalIF":0.0,"publicationDate":"2024-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2772827724000068/pdfft?md5=c4be9e88e623b3465a4504a71130ef70&pid=1-s2.0-S2772827724000068-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141047947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"An implementation of the Suwa method for computing first order infinitesimal versal unfoldings of codimension one complex analytic singular foliations","authors":"Shinichi Tajima ,&nbsp;Katsusuke Nabeshima","doi":"10.1016/j.jaca.2024.100015","DOIUrl":"10.1016/j.jaca.2024.100015","url":null,"abstract":"<div><p>The Suwa method for computing versal unfoldings of holomorphic singular foliations is considered from the point of view of computational complex analysis. Based on the theory of Grothendieck local duality on residues, an effective algorithm of computing a first order infinitesimal versal unfoldings of codimension one complex analytic singular foliations is obtained. As an application of our approach, we give an effective method for computing universal unfoldings of germs of meromorphic functions.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"10 ","pages":"Article 100015"},"PeriodicalIF":0.0,"publicationDate":"2024-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2772827724000056/pdfft?md5=a7f0856967858d831ab684476d2eecd6&pid=1-s2.0-S2772827724000056-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141028053","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Root extraction in finite Abelian groups","authors":"Udvas Acharjee,&nbsp;M.S. Srinath","doi":"10.1016/j.jaca.2024.100017","DOIUrl":"https://doi.org/10.1016/j.jaca.2024.100017","url":null,"abstract":"<div><p>We formulate the <em>Root Extraction problem</em> in finite Abelian <em>p</em>-groups and then extend it to generic finite Abelian groups. We provide algorithms to solve them. We also give the bounds on the number of group operations required for these algorithms. We observe that once a basis is computed and the discrete logarithm relative to the basis is solved, root extraction takes relatively fewer “bookkeeping” steps. Thus, we conclude that root extraction in finite Abelian groups is <em>no harder</em> than solving discrete logarithms and computing basis.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"10 ","pages":"Article 100017"},"PeriodicalIF":0.0,"publicationDate":"2024-05-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S277282772400007X/pdfft?md5=37c8cf927839f6d23b63dec45ccc0073&pid=1-s2.0-S277282772400007X-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"141068101","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Invariant Grassmannians and a K3 surface with an action of order 192*2","authors":"Stevell Muller","doi":"10.1016/j.jaca.2024.100014","DOIUrl":"https://doi.org/10.1016/j.jaca.2024.100014","url":null,"abstract":"<div><p>Given a complex vector space <em>V</em> of finite dimension, its Grassmannian variety parametrizes all subspaces of <em>V</em> of a given dimension. Similarly, if a finite group <em>G</em> acts on <em>V</em>, its invariant Grassmannian parametrizes all the <em>G</em>−invariant subspaces of <em>V</em> of a given dimension. Based on this fact, we develop an algorithm for finding equations of <em>G</em>−invariant projective varieties arising as an intersection of hypersurfaces of the same degree.</p><p>We apply the algorithm to find equations describing a polarized K3 surface with a faithful action of <span><math><msub><mrow><mi>T</mi></mrow><mrow><mn>192</mn></mrow></msub><mo>⋊</mo><msub><mrow><mi>μ</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> and some further symmetric K3 surfaces with a degree 8 polarization.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"10 ","pages":"Article 100014"},"PeriodicalIF":0.0,"publicationDate":"2024-05-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2772827724000044/pdfft?md5=63dd08031e9d0d561f85c60c7cdbbbe9&pid=1-s2.0-S2772827724000044-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140902257","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Semilinear tensor decompositions","authors":"K.K. Mahavadi ,&nbsp;A.J.E. Ryba","doi":"10.1016/j.jaca.2024.100013","DOIUrl":"https://doi.org/10.1016/j.jaca.2024.100013","url":null,"abstract":"<div><p>We prove that a <em>kG</em>-module has a <em>semilinear tensor decomposition</em> if and only if its endomorphism algebra has a pair of mutually centralizing, unital, <em>G</em>-invariant subalgebras that are not commutative and are isomorphic to complete matrix algebras over an extension field <em>K</em> of <em>k</em>. We give an algorithm that constructs a semilinear tensor decomposition for any module whose endomorphism algebra contains appropriate invariant subalgebras.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"9 ","pages":"Article 100013"},"PeriodicalIF":0.0,"publicationDate":"2024-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2772827724000032/pdfft?md5=3558c14d36b31fbd7274f355c1412fd1&pid=1-s2.0-S2772827724000032-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140063090","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"A fast implementation of the Monster group","authors":"Martin Seysen","doi":"10.1016/j.jaca.2024.100012","DOIUrl":"https://doi.org/10.1016/j.jaca.2024.100012","url":null,"abstract":"<div><p>Let <span><math><mi>M</mi></math></span> be the Monster group, which is the largest sporadic finite simple group, and has first been constructed in 1982 by Griess. In 1985 Conway has constructed a 196884-dimensional rational representation <em>ρ</em> of <span><math><mi>M</mi></math></span> with matrix entries in <span><math><mi>Z</mi><mo>[</mo><mfrac><mrow><mn>1</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>]</mo></math></span>. We describe a new and very fast algorithm for performing the group operation in <span><math><mi>M</mi></math></span>.</p><p>For an odd integer <span><math><mi>p</mi><mo>&gt;</mo><mn>1</mn></math></span> let <span><math><msub><mrow><mi>ρ</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> be the representation <em>ρ</em> with matrix entries taken modulo <em>p</em>. We use a generating set Γ of <span><math><mi>M</mi></math></span>, such that the operation of a generator in Γ on an element of <span><math><msub><mrow><mi>ρ</mi></mrow><mrow><mi>p</mi></mrow></msub></math></span> can easily be computed.</p><p>We construct a triple <span><math><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><msup><mrow><mi>v</mi></mrow><mrow><mo>+</mo></mrow></msup><mo>,</mo><msup><mrow><mi>v</mi></mrow><mrow><mo>−</mo></mrow></msup><mo>)</mo></math></span> of elements of the module <span><math><msub><mrow><mi>ρ</mi></mrow><mrow><mn>15</mn></mrow></msub></math></span>, such that an unknown <span><math><mi>g</mi><mo>∈</mo><mi>M</mi></math></span> can be effectively computed as a word in Γ from the images <span><math><mo>(</mo><msub><mrow><mi>v</mi></mrow><mrow><mn>1</mn></mrow></msub><mi>g</mi><mo>,</mo><msup><mrow><mi>v</mi></mrow><mrow><mo>+</mo></mrow></msup><mi>g</mi><mo>,</mo><msup><mrow><mi>v</mi></mrow><mrow><mo>−</mo></mrow></msup><mi>g</mi><mo>)</mo></math></span>.</p><p>Our new algorithm based on this idea multiplies two random elements of <span><math><mi>M</mi></math></span> in less than 30 milliseconds on a standard PC with an Intel i7-8750H CPU at 4 GHz. This is more than 100000 times faster than estimated by Wilson in 2013.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"9 ","pages":"Article 100012"},"PeriodicalIF":0.0,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2772827724000020/pdfft?md5=6274b39ef3a5da0cdf30796d2fbfed44&pid=1-s2.0-S2772827724000020-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139935211","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Generating sets of the Jacobson radical of the hyperalgebra of (SL2)r","authors":"Yutaka Yoshii","doi":"10.1016/j.jaca.2024.100011","DOIUrl":"10.1016/j.jaca.2024.100011","url":null,"abstract":"<div><p>We give generating sets of the Jacobson radical of the hyperalgebra of the <em>r</em>-th Frobenius kernel of the algebraic group <span><math><msub><mrow><mi>SL</mi></mrow><mrow><mn>2</mn></mrow></msub></math></span> over an algebraically closed field of characteristic <span><math><mi>p</mi><mo>&gt;</mo><mn>0</mn></math></span>. This result generalizes earlier work by Wong for <span><math><mi>r</mi><mo>=</mo><mn>1</mn></math></span> and odd <em>p</em>.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"9 ","pages":"Article 100011"},"PeriodicalIF":0.0,"publicationDate":"2024-02-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.sciencedirect.com/science/article/pii/S2772827724000019/pdfft?md5=1f80c29edf80514473ca030887e7893b&pid=1-s2.0-S2772827724000019-main.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139881890","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Generating sets of the Jacobson radical of the hyperalgebra of (SL2","authors":"Yutaka Yoshii","doi":"10.1016/j.jaca.2024.100011","DOIUrl":"https://doi.org/10.1016/j.jaca.2024.100011","url":null,"abstract":"","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"75 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2024-02-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139822096","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Computing canonical images in permutation groups with Graph Backtracking","authors":"Christopher Jefferson,&nbsp;Rebecca Waldecker,&nbsp;Wilf A. Wilson","doi":"10.1016/j.jaca.2023.100010","DOIUrl":"https://doi.org/10.1016/j.jaca.2023.100010","url":null,"abstract":"<div><p>We describe a new algorithm for finding a canonical image of an object under the action of a finite permutation group. This algorithm builds on previous work using Graph Backtracking <span>[9]</span>, which extends Jeffrey Leon's Partition Backtrack framework <span>[14]</span>, <span>[15]</span>. Our methods generalise both Nauty <span>[17]</span> and Steve Linton's Minimal image algorithm <span>[16]</span>.</p></div>","PeriodicalId":100767,"journal":{"name":"Journal of Computational Algebra","volume":"8 ","pages":"Article 100010"},"PeriodicalIF":0.0,"publicationDate":"2023-10-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"49892593","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}