迹(逆)公式和Artin代数在极值组合数学中的意义探讨

IF 0.6 4区 工程技术 Q4 COMPUTER SCIENCE, INTERDISCIPLINARY APPLICATIONS
Luis M. Pardo
{"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}
引用次数: 0

摘要

这篇论文只是一个微不足道的贡献,它证明了组合论中的几个经典结果,这些结果来自于一些Artinian K元组中的对偶性概念(主要是通过迹公式),其中K是一个特征不等于2的完全域。我们证明了几个经典的组合论结果是如何在有限的(\mathbb {Q}\)元组中成为迹(反转)公式的特殊实例的。排除-包含原理(一般形式,包括与子集包含相关的直接顺序和反向顺序)就是这种情况。这种方法还允许我们展示空 t 设计空间的基础,它不同于德萨和弗兰克尔(Combinatorica 2:341-345, 1982)在定理 4 中描述的基础。弗兰克尔和帕赫(Eur J Comb 4:21-23, 1983)中对绍尔-谢拉-珀尔勒(Sauer-Shelah-Perles)推理的优雅证明(没有使用归纳法)的启发,我们提出了一个新的推理,它仅仅基于定义在零维代数纷繁的子集\([n]:=\{1,2,\ldots , n\}\) 上的多项式函数的代数\(\mathbb {Q}\)代数的对偶性。如果我们用\(K[V_n]\)代替\(\mathbb {Q}[V_n]\), 其中K是任何完全特性域\(\not =2\),那么所有结果都同样正确。这篇文章将两个数学知识领域的结果联系在一起,而这两个领域通常是不会联系在一起的,至少不会以这种形式联系在一起。因此,我们决定以类似调查报告的自足式风格撰写手稿,尽管这根本不是一篇调查报告。熟悉交换代数的读者可能知道第 2 节中描述的大部分语句的证明。我们决定为那些不太熟悉这一框架的潜在读者提供这些证明。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
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.

求助全文
通过发布文献求助,成功后即可免费获取论文全文。 去求助
来源期刊
Applicable Algebra in Engineering Communication and Computing
Applicable Algebra in Engineering Communication and Computing 工程技术-计算机:跨学科应用
CiteScore
2.90
自引率
14.30%
发文量
48
审稿时长
>12 weeks
期刊介绍: 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.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信