{"title":"对合基理论中的递归结构","authors":"Amir Hashemi , Matthias Orth , Werner M. Seiler","doi":"10.1016/j.jsc.2023.01.003","DOIUrl":null,"url":null,"abstract":"<div><p>We study characterisations of involutive bases using a recursion over the variables in the underlying polynomial ring and corresponding completion algorithms. Three key ingredients are (i) an old result by Janet recursively characterising Janet bases for which we provide a new and simpler proof, (ii) the Berkesch–Schreyer variant of Buchberger's algorithm and (iii) a tree representation of sets of terms also known as Janet trees. We start by extending Janet's result to a recursive criterion for minimal Janet bases leading to an algorithm to minimise any given Janet basis. We then extend Janet's result also to Janet-like bases as introduced by Gerdt and Blinkov. Next, we design a novel recursive completion algorithm for Janet bases. We study then the extension of these results to Pommaret bases. It yields a novel recursive characterisation of quasi-stability which we use for deterministically constructing “good” coordinates more efficiently than in previous works. A small modification leads to a novel deterministic algorithm for putting an ideal into Nœther position. Finally, we provide a general theory of involutive-like bases with special emphasis on Pommaret-like bases and study the syzygy theory of Janet-like and Pommaret-like bases.</p></div>","PeriodicalId":50031,"journal":{"name":"Journal of Symbolic Computation","volume":"118 ","pages":"Pages 32-68"},"PeriodicalIF":0.6000,"publicationDate":"2023-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Recursive structures in involutive bases theory\",\"authors\":\"Amir Hashemi , Matthias Orth , Werner M. Seiler\",\"doi\":\"10.1016/j.jsc.2023.01.003\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>We study characterisations of involutive bases using a recursion over the variables in the underlying polynomial ring and corresponding completion algorithms. Three key ingredients are (i) an old result by Janet recursively characterising Janet bases for which we provide a new and simpler proof, (ii) the Berkesch–Schreyer variant of Buchberger's algorithm and (iii) a tree representation of sets of terms also known as Janet trees. We start by extending Janet's result to a recursive criterion for minimal Janet bases leading to an algorithm to minimise any given Janet basis. We then extend Janet's result also to Janet-like bases as introduced by Gerdt and Blinkov. Next, we design a novel recursive completion algorithm for Janet bases. We study then the extension of these results to Pommaret bases. It yields a novel recursive characterisation of quasi-stability which we use for deterministically constructing “good” coordinates more efficiently than in previous works. A small modification leads to a novel deterministic algorithm for putting an ideal into Nœther position. Finally, we provide a general theory of involutive-like bases with special emphasis on Pommaret-like bases and study the syzygy theory of Janet-like and Pommaret-like bases.</p></div>\",\"PeriodicalId\":50031,\"journal\":{\"name\":\"Journal of Symbolic Computation\",\"volume\":\"118 \",\"pages\":\"Pages 32-68\"},\"PeriodicalIF\":0.6000,\"publicationDate\":\"2023-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Symbolic Computation\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S0747717123000032\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Symbolic Computation","FirstCategoryId":"100","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S0747717123000032","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
We study characterisations of involutive bases using a recursion over the variables in the underlying polynomial ring and corresponding completion algorithms. Three key ingredients are (i) an old result by Janet recursively characterising Janet bases for which we provide a new and simpler proof, (ii) the Berkesch–Schreyer variant of Buchberger's algorithm and (iii) a tree representation of sets of terms also known as Janet trees. We start by extending Janet's result to a recursive criterion for minimal Janet bases leading to an algorithm to minimise any given Janet basis. We then extend Janet's result also to Janet-like bases as introduced by Gerdt and Blinkov. Next, we design a novel recursive completion algorithm for Janet bases. We study then the extension of these results to Pommaret bases. It yields a novel recursive characterisation of quasi-stability which we use for deterministically constructing “good” coordinates more efficiently than in previous works. A small modification leads to a novel deterministic algorithm for putting an ideal into Nœther position. Finally, we provide a general theory of involutive-like bases with special emphasis on Pommaret-like bases and study the syzygy theory of Janet-like and Pommaret-like bases.
期刊介绍:
An international journal, the Journal of Symbolic Computation, founded by Bruno Buchberger in 1985, is directed to mathematicians and computer scientists who have a particular interest in symbolic computation. The journal provides a forum for research in the algorithmic treatment of all types of symbolic objects: objects in formal languages (terms, formulas, programs); algebraic objects (elements in basic number domains, polynomials, residue classes, etc.); and geometrical objects.
It is the explicit goal of the journal to promote the integration of symbolic computation by establishing one common avenue of communication for researchers working in the different subareas. It is also important that the algorithmic achievements of these areas should be made available to the human problem-solver in integrated software systems for symbolic computation. To help this integration, the journal publishes invited tutorial surveys as well as Applications Letters and System Descriptions.