Exploring implications of Trace (Inversion) formula and Artin algebras in extremal combinatorics
Ver/ Abrir
Registro completo
Mostrar el registro completo DCAutoría
Pardo Vasallo, Luis Miguel
Fecha
2024Derechos
This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made.
Publicado en
Applicable Algebra in Engineering, Communications and Computing, 2024, 35(1), 71-118
Editorial
Springer Verlag
Enlace a la publicación
Palabras clave
Zero-dimensional algebras
Trace Inversion formula
VC dimension
Sauer–Shelah–Perles Lemma
Resumen/Abstract
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 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 Q-algebra Q[Vn] of polynomials functions defined on the zero-dimensional algebraic variety of subsets of the set [n]:={1, 2,..., n}. All results are equally true if we replace Q[Vn] by K[Vn], where K is any perfect field of characteristics ?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.
Colecciones a las que pertenece
- D21 Artículos [417]
