{"title":"迹(逆)公式和Artin代数在极值组合数学中的意义探讨","authors":"Luis M. Pardo","doi":"10.1007/s00200-023-00619-1","DOIUrl":null,"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":null,"pages":null},"PeriodicalIF":0.6000,"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":"0","resultStr":"{\"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\":null,\"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\":null,\"pages\":null},\"PeriodicalIF\":0.6000,\"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\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Applicable Algebra in Engineering Communication and Computing\",\"FirstCategoryId\":\"5\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00200-023-00619-1\",\"RegionNum\":4,\"RegionCategory\":\"工程技术\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Applicable Algebra in Engineering Communication and Computing","FirstCategoryId":"5","ListUrlMain":"https://link.springer.com/article/10.1007/s00200-023-00619-1","RegionNum":4,"RegionCategory":"工程技术","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}
Exploring implications of Trace (Inversion) formula and Artin algebras in extremal combinatorics
This note is just a modest contribution to prove several classical results in Combinatorics from notions of Duality in some Artinian K-algebras (mainly through the Trace Formula), where K 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 \(\mathbb {Q}\)-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 t-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 \(\mathbb {Q}\)-algebra \(\mathbb {Q}[V_n]\) of polynomials functions defined on the zero-dimensional algebraic variety of subsets of the set \([n]:=\{1,2,\ldots , n\}\). All results are equally true if we replace \(\mathbb {Q}[V_n]\) by \(K[V_n]\), where K is any perfect field of characteristics \(\not =2\). 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.
期刊介绍:
Algebra is a common language for many scientific domains. In developing this language mathematicians prove theorems and design methods which demonstrate the applicability of algebra. Using this language scientists in many fields find algebra indispensable to create methods, techniques and tools to solve their specific problems.
Applicable Algebra in Engineering, Communication and Computing will publish mathematically rigorous, original research papers reporting on algebraic methods and techniques relevant to all domains concerned with computers, intelligent systems and communications. Its scope includes, but is not limited to, vision, robotics, system design, fault tolerance and dependability of systems, VLSI technology, signal processing, signal theory, coding, error control techniques, cryptography, protocol specification, networks, software engineering, arithmetics, algorithms, complexity, computer algebra, programming languages, logic and functional programming, algebraic specification, term rewriting systems, theorem proving, graphics, modeling, knowledge engineering, expert systems, and artificial intelligence methodology.
Purely theoretical papers will not primarily be sought, but papers dealing with problems in such domains as commutative or non-commutative algebra, group theory, field theory, or real algebraic geometry, which are of interest for applications in the above mentioned fields are relevant for this journal.
On the practical side, technology and know-how transfer papers from engineering which either stimulate or illustrate research in applicable algebra are within the scope of the journal.