{"title":"Exploring implications of Trace (Inversion) formula and Artin algebras in extremal combinatorics","authors":"Luis M. Pardo","doi":"10.1007/s00200-023-00619-1","DOIUrl":"10.1007/s00200-023-00619-1","url":null,"abstract":"<div><p>This note is just a modest contribution to prove several classical results in Combinatorics from notions of Duality in some Artinian <i>K</i>-algebras (mainly through the Trace Formula), where <i>K</i> is a perfect field of characteristics not equal to 2. We prove how several classic combinatorial results are particular instances of a Trace (Inversion) Formula in finite <span>(mathbb {Q})</span>-algebras. This is the case with the Exclusion-Inclusion Principle (in its general form, both with direct and reverse order associated to subsets inclusion). This approach also allows us to exhibit a basis of the space of null <i>t</i>-designs, which differs from the one described in Theorem 4 of Deza and Frankl (Combinatorica 2:341–345, 1982). Provoked by the elegant proof (which uses no induction) in Frankl and Pach (Eur J Comb 4:21–23, 1983) of the Sauer–Shelah–Perles Lemma, we produce a new one based only in duality in the <span>(mathbb {Q})</span>-algebra <span>(mathbb {Q}[V_n])</span> of polynomials functions defined on the zero-dimensional algebraic variety of subsets of the set <span>([n]:={1,2,ldots , n})</span>. All results are equally true if we replace <span>(mathbb {Q}[V_n])</span> by <span>(K[V_n])</span>, where <i>K</i> is any perfect field of characteristics <span>(not =2)</span>. The article connects results from two fields of mathematical knowledge that are not usually connected, at least not in this form. Thus, we decided to write the manuscript in a self-contained survey-like style, although it is not a survey paper at all. Readers familiar with Commutative Algebra probably know most of the proofs of the statements described in section 2. We decided to include these proofs for those potential readers not so familiar with this framework.</p></div>","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":"35 2022","pages":"71 - 118"},"PeriodicalIF":0.6,"publicationDate":"2023-08-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00200-023-00619-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"41398532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Three new classes of optimal quinary cyclic codes with minimum distance four","authors":"Y. Liu, X. Cao","doi":"10.1007/s00200-023-00621-7","DOIUrl":"https://doi.org/10.1007/s00200-023-00621-7","url":null,"abstract":"","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":" ","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-08-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47119674","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system","authors":"Katsusuke Nabeshima","doi":"10.1007/s00200-023-00620-8","DOIUrl":"10.1007/s00200-023-00620-8","url":null,"abstract":"<div><p>A relationship between a parametric ideal and its generic Gröbner basis is discussed, and a new stability condition of a Gröbner basis is given. It is shown that the ideal quotient of the parametric ideal by the ideal generated using the generic Gröbner basis provides the stability condition. Further, the stability condition is utilized to compute a comprehensive Gröbner system, and hence as an application, we obtain a new algorithm for computing comprehensive Gröbner systems. The proposed algorithm has been implemented in the computer algebra system Risa/Asir and experimented with a number of examples. Its performance (execution timings) has been compared with the Kapur-Sun-Wang’s algorithm for computing comprehensive Gröbner systems.</p></div>","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":"35 2022","pages":"55 - 70"},"PeriodicalIF":0.6,"publicationDate":"2023-08-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00200-023-00620-8.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47966809","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Malihe Aliasgari, Daniel Panario, Mohammad-Reza Sadeghi
{"title":"Linear label code of a root lattice using Gröbner bases","authors":"Malihe Aliasgari, Daniel Panario, Mohammad-Reza Sadeghi","doi":"10.1007/s00200-023-00614-6","DOIUrl":"10.1007/s00200-023-00614-6","url":null,"abstract":"<div><p>The label code of a lattice plays a key role in the characterization of the lattice. Every lattice <span>(Lambda)</span> can be described in terms of a label code <i>L</i> and an orthogonal sublattice <span>(Lambda ')</span> such that <span>(Lambda /Lambda 'cong L)</span>. We identify the binomial ideal associated to an integer lattice and then establish a relation between the ideal quotient of the lattice and its label code. Furthermore, we present the Gröbner basis of the well-known root lattice <span>(D_n)</span>. As an application of the relation <span>(I_{Lambda }=I_{Lambda '}+I_{L})</span>, where <span>(I_{Lambda },I_{Lambda '})</span> and <span>(I_L)</span> denote binomial ideals associated to <span>(Lambda ,~Lambda ')</span> and <i>L</i>, respectively, a linear label code of <span>(D_n)</span> is obtained using its Gröbner basis.</p></div>","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":"35 2022","pages":"3 - 15"},"PeriodicalIF":0.6,"publicationDate":"2023-07-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48057651","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Further perspectives on elimination","authors":"Teo Mora","doi":"10.1007/s00200-023-00618-2","DOIUrl":"10.1007/s00200-023-00618-2","url":null,"abstract":"","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":"34 5","pages":"745 - 749"},"PeriodicalIF":0.7,"publicationDate":"2023-07-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"44365194","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Dihedral codes with 1-dimensional hulls and 1-dimensional linear complementary pairs of dihedral codes","authors":"S. Dougherty, S. Șahinkaya, Deniz Ustun","doi":"10.1007/s00200-023-00617-3","DOIUrl":"https://doi.org/10.1007/s00200-023-00617-3","url":null,"abstract":"","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":" ","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"45259924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Constructing doubly even self-dual codes and even unimodular lattices from Hadamard matrices","authors":"D. Crnković, Andrea Švob","doi":"10.1007/s00200-023-00615-5","DOIUrl":"https://doi.org/10.1007/s00200-023-00615-5","url":null,"abstract":"","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":" ","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-07-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47782694","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Correction: The paint pot problem and common multiples in monoids","authors":"Hans Zantema, Vincent van Oostrom","doi":"10.1007/s00200-023-00613-7","DOIUrl":"10.1007/s00200-023-00613-7","url":null,"abstract":"","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":"36 2","pages":"365 - 366"},"PeriodicalIF":0.6,"publicationDate":"2023-06-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00200-023-00613-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135916460","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Frobenius pseudo-variety of numerical semigroups with a given multiplicity and ratio","authors":"M. A. Moreno-Frías, J. Rosales","doi":"10.1007/s00200-023-00610-w","DOIUrl":"https://doi.org/10.1007/s00200-023-00610-w","url":null,"abstract":"","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":" ","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"48868476","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"On the higher-order nonlinearity of a new class of biquadratic Maiorana–McFarland type bent functions","authors":"Kezia Saini, M. Garg","doi":"10.1007/s00200-023-00611-9","DOIUrl":"https://doi.org/10.1007/s00200-023-00611-9","url":null,"abstract":"","PeriodicalId":50742,"journal":{"name":"Applicable Algebra in Engineering Communication and Computing","volume":" ","pages":""},"PeriodicalIF":0.7,"publicationDate":"2023-05-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"47431444","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}