On Whitney duals of geometric lattices.
| dc.contributor.advisor | González D'León, Rafael | spa |
| dc.contributor.author | Molina Giraldo, Andrés | spa |
| dc.contributor.evaluator | Hallam, Joshua | spa |
| dc.contributor.evaluator | Samper, José | spa |
| dc.date.accessioned | 2024-02-26T21:45:05Z | |
| dc.date.available | 2024-02-26T21:45:05Z | |
| dc.date.created | 2023-05-12 | spa |
| dc.description.abstract | The concept of Whitney duality was first introduced by Gonz\'al\'ez D'Le\'on and Hallam in \cite{GONZALEZDLEON2021105301}. Two graded posets are said to be Whitney duals if they have their Whitney numbers of the first and second kind interchanged modulo sign. This is an interesting property being the Whitney numbers of a graded poset an important invariant in poset theory with connections to other mathematical contexts. The Whitney numbers appear, for example, as coefficients of chromatic polynomials of finite graphs. In \cite{GONZALEZDLEON2021105301} the authors also gave an explicit construction for Whitney duals under certain conditions, through the technique of EW-labelings. Some edge labelings that already appeared in the literature were shown to be EW-labelings, one particular case being the minimal edge labelings of geometric lattices introduced by Stanley. In this work we study specifically the Whitney duals of geometric lattices that arise from minimal EW-labelings. Since geometric lattices are in bijective correspondence to finite simple matroids, we aim to understand the construction of the Whitney duals only in terms of the information contained in an ordered matroid $(M,\omega)$, where $M$ is a simple matroid and $\omega$ is a total ordering of the ground set. To an ordered matroid one can associate its non-broken circuit complex (or NBC complex) as it was introduced by Bj\"orner in \cite{björner_1992}. We show that the Whitney dual corresponding to a minimal labeling of a geometric lattice can be described as a particular subposet of the NBC complex of its associated ordered matroid. More precisely, the subposet of the NBC complex formed by all the NBC sets and whose cover relations are determined by the removal of internally active elements on an NBC set is a Whitney dual to the lattice of flats of a matroid. % More specifically, it begins by giving a brief summary of necessary concepts to understand matroids and geometric lattices, as given in \cite{oxley2011matroid} and \cite{stanley2000enumerative}. Then, through the concept of NBC complexes given by Björner in \cite{björner_1992}, it proves that Whitney duals of geometric lattices formed through a special kind of Whitney labeling called minimal labeling can be described in terms of their corresponding matroid. Using this description we implement an algorithm using \href{http://www.sagemath.org/}{\textsc{Sagemath}} to construct the Whitney dual of the lattice of flats of an ordered matroid. We use this implementation to prove computationally that Whitney duals from different minimal labelings of a geometric lattice are not necessarily isomorphic. We compute the specific isomorphism classes (which here we refer as to atom ordering classes) of Whitney duals corresponding to minimal labelings for particular examples of matroids. In particular we determine that the Fano matroid has $5$ atom ordering classes and the non-Fano matroid has $42$ such classes. | spa |
| dc.description.abstractenglish | The concept of Whitney duality was first introduced by Gonz\'al\'ez D'Le\'on and Hallam in \cite{GONZALEZDLEON2021105301}. Two graded posets are said to be Whitney duals if they have their Whitney numbers of the first and second kind interchanged modulo sign. This is an interesting property being the Whitney numbers of a graded poset an important invariant in poset theory with connections to other mathematical contexts. The Whitney numbers appear, for example, as coefficients of chromatic polynomials of finite graphs. In \cite{GONZALEZDLEON2021105301} the authors also gave an explicit construction for Whitney duals under certain conditions, through the technique of EW-labelings. Some edge labelings that already appeared in the literature were shown to be EW-labelings, one particular case being the minimal edge labelings of geometric lattices introduced by Stanley. In this work we study specifically the Whitney duals of geometric lattices that arise from minimal EW-labelings. Since geometric lattices are in bijective correspondence to finite simple matroids, we aim to understand the construction of the Whitney duals only in terms of the information contained in an ordered matroid $(M,\omega)$, where $M$ is a simple matroid and $\omega$ is a total ordering of the ground set. To an ordered matroid one can associate its non-broken circuit complex (or NBC complex) as it was introduced by Bj\"orner in \cite{björner_1992}. We show that the Whitney dual corresponding to a minimal labeling of a geometric lattice can be described as a particular subposet of the NBC complex of its associated ordered matroid. More precisely, the subposet of the NBC complex formed by all the NBC sets and whose cover relations are determined by the removal of internally active elements on an NBC set is a Whitney dual to the lattice of flats of a matroid. % More specifically, it begins by giving a brief summary of necessary concepts to understand matroids and geometric lattices, as given in \cite{oxley2011matroid} and \cite{stanley2000enumerative}. Then, through the concept of NBC complexes given by Björner in \cite{björner_1992}, it proves that Whitney duals of geometric lattices formed through a special kind of Whitney labeling called minimal labeling can be described in terms of their corresponding matroid. Using this description we implement an algorithm using \href{http://www.sagemath.org/}{\textsc{Sagemath}} to construct the Whitney dual of the lattice of flats of an ordered matroid. We use this implementation to prove computationally that Whitney duals from different minimal labelings of a geometric lattice are not necessarily isomorphic. We compute the specific isomorphism classes (which here we refer as to atom ordering classes) of Whitney duals corresponding to minimal labelings for particular examples of matroids. In particular we determine that the Fano matroid has $5$ atom ordering classes and the non-Fano matroid has $42$ such classes. | spa |
| dc.description.degreelevel | Pregrado | |
| dc.description.degreename | Matemático (a) | |
| dc.format | ||
| dc.format.mimetype | application/pdf | |
| dc.identifier.doi | https://doi.org/10.60794/hs47-dg58 | |
| dc.identifier.instname | instname:Pontificia Universidad Javeriana | |
| dc.identifier.reponame | reponame:Repositorio Institucional - Pontificia Universidad Javeriana | |
| dc.identifier.repourl | repourl:https://repository.javeriana.edu.co | |
| dc.identifier.uri | http://hdl.handle.net/10554/66715 | |
| dc.language.iso | spa | |
| dc.publisher | Pontificia Universidad Javeriana | |
| dc.publisher.faculty | Facultad de Ciencias | |
| dc.publisher.program | Matemáticas | |
| dc.rights.accessrights | info:eu-repo/semantics/openAccess | |
| dc.rights.coar | info:eu-repo/semantics/openAccess | |
| dc.rights.licence | Atribución-NoComercial-SinDerivadas 4.0 Internacional | |
| dc.rights.local | De acuerdo con la naturaleza del uso concedido, la presente licencia parcial se otorga a título gratuito por el máximo tiempo legal colombiano, con el propósito de que en dicho lapso mi (nuestra) obra sea explotada en las condiciones aquí estipuladas y para los fines indicados, respetando siempre la titularidad de los derechos patrimoniales y morales correspondientes, de acuerdo con los usos honrados, de manera proporcional y justificada a la finalidad perseguida, sin ánimo de lucro ni de comercialización. De manera complementaria, garantizo (garantizamos) en mi (nuestra) calidad de estudiante (s) y por ende autor (es) exclusivo (s), que la Tesis o Trabajo de Grado en cuestión, es producto de mi (nuestra) plena autoría, de mi (nuestro) esfuerzo personal intelectual, como consecuencia de mi (nuestra) creación original particular y, por tanto, soy (somos) el (los) único (s) titular (es) de la misma. Además, aseguro (aseguramos) que no contiene citas, ni transcripciones de otras obras protegidas, por fuera de los límites autorizados por la ley, según los usos honrados, y en proporción a los fines previstos; ni tampoco contempla declaraciones difamatorias contra terceros; respetando el derecho a la imagen, intimidad, buen nombre y demás derechos constitucionales. Adicionalmente, manifiesto (manifestamos) que no se incluyeron expresiones contrarias al orden público ni a las buenas costumbres. En consecuencia, la responsabilidad directa en la elaboración, presentación, investigación y, en general, contenidos de la Tesis o Trabajo de Grado es de mí (nuestro) competencia exclusiva, eximiendo de toda responsabilidad a la Pontifica Universidad Javeriana por tales aspectos. Sin perjuicio de los usos y atribuciones otorgadas en virtud de este documento, continuaré (continuaremos) conservando los correspondientes derechos patrimoniales sin modificación o restricción alguna, puesto que, de acuerdo con la legislación colombiana aplicable, el presente es un acuerdo jurídico que en ningún caso conlleva la enajenación de los derechos patrimoniales derivados del régimen del Derecho de Autor. De conformidad con lo establecido en el artículo 30 de la Ley 23 de 1982 y el artículo 11 de la Decisión Andina 351 de 1993, "Los derechos morales sobre el trabajo son propiedad de los autores", los cuales son irrenunciables, imprescriptibles, inembargables e inalienables. En consecuencia, la Pontificia Universidad Javeriana está en la obligación de RESPETARLOS Y HACERLOS RESPETAR, para lo cual tomará las medidas correspondientes para garantizar su observancia. | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | |
| dc.subject | Poset | |
| dc.subject | Matroide | |
| dc.subject | Complejo NBC | |
| dc.subject | Actividad interna | |
| dc.subject | Clase de ordenamiento de átomos | |
| dc.subject | Dual de Whitney | |
| dc.subject | Retículo Geométrico | |
| dc.subject.armarc | Matemáticas - Tesis y disertaciones académicas | |
| dc.subject.armarc | Ordenamiento de átomos | spa |
| dc.subject.keyword | Poset | |
| dc.subject.keyword | Réticulo Geométrico | |
| dc.subject.keyword | Matroid | |
| dc.subject.keyword | NBC complex | |
| dc.subject.keyword | Internal activity | |
| dc.subject.keyword | Atom ordering class | |
| dc.subject.keyword | Whitney dual. | |
| dc.title | On Whitney duals of geometric lattices. | spa |
| dc.title.english | On Whitney duals of geometric lattices. | spa |
| dc.type.coar | http://purl.org/coar/resource_type/c_7a1f | |
| dc.type.driver | info:eu-repo/semantics/bachelorThesis | |
| dc.type.hasversion | http://purl.org/coar/version/c_ab4af688f83e57aa | |
| dc.type.local | Tesis/Trabajo de grado - Monografía - Pregrado |
Archivos
Bloque original
1 - 1 de 1
Cargando...
- Nombre:
- attachment_0_On_Whitney_Duals_of_Geometric_Lattices_Molina.pdf
- Tamaño:
- 928.42 KB
- Formato:
- Adobe Portable Document Format
- Descripción:
- Documento