Coxeter matroid

In mathematics, Coxeter matroids are generalization of matroids depending on a choice of a Coxeter group W and a parabolic subgroup P. Ordinary matroids correspond to the case when P is a maximal parabolic subgroup of a symmetric group W. They were introduced by Gelfand and Serganova (1987, 1987b), who named them after H. S. M. Coxeter.

Borovik, Gelfand & White (2003) give a detailed account of Coxeter matroids.

Definition

Suppose that W is a Coxeter group, generated by a set S of involutions, and P is a parabolic subgroup (the subgroup generated by some subset of S). A Coxeter matroid is a subset M of W/P that for every w in W, M contains a unique minimal element with respect to the w-Bruhat order.

Relation to matroids

Suppose that the Coxeter group W is the symmetric group Sn and P is the parabolic subgroup Sk×Sn–k. Then W/P can be identified with the k-element subsets of the n-element set {1,2,...,n} and the elements w of W correspond to the linear orderings of this set. A Coxeter matroid consists of k elements sets such that for each w there is a unique minimal element in the corresponding Bruhat ordering of k-element subsets. This is exactly the definition of a matroid of rank k on an n-element set in terms of bases: a matroid can be defined as some k-element subsets called bases of an n-element set such that for each linear ordering of the set there is a unique minimal base in the Gale ordering of k-element subsets.

gollark: I'm hoping much of the underpaid labour can be replaced with automation in the future, too.
gollark: Not really? If I could somehow make people not want it and skip any of the ethical issues related to that it'd be nice? But they do, and the system satisfies those values.
gollark: People are entirely free to *not* buy a new phone every 6 months and... mostly do... the phone market has been declining because of lengthening upgrade cycles. If people buy unreasonable amounts it's because *they want that*, though possibly because of advertising which is terrible.
gollark: So how do you solve this? Just have someone say "no phones for you if you ask for them too often"?
gollark: It's more efficient in terms of output things per input things.

References
  • Borovik, Alexandre V.; Gelfand, I. M.; White, Neil (2003), Coxeter matroids, Progress in Mathematics, 216, Boston, MA: Birkhäuser Boston, doi:10.1007/978-1-4612-2066-4, ISBN 978-0-8176-3764-4, MR 1989953
  • Gelfand, I. M.; Serganova, V. V. (1987), "On the general definition of a matroid and a greedoid", Doklady Akademii Nauk SSSR (in Russian), 292 (1): 15–20, ISSN 0002-3264, MR 0871945
  • Gelfand, I. M.; Serganova, V. V. (1987b), "Combinatorial geometries and the strata of a torus on homogeneous compact manifolds", Akademiya Nauk SSSR I Moskovskoe Matematicheskoe Obshchestvo. Uspekhi Matematicheskikh Nauk, 42 (2): 107–134, doi:10.1070/RM1987v042n02ABEH001308, ISSN 0042-1316, MR 0898623 – English translation in Russian Mathematical Surveys 42 (1987), no. 2, 133–168
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.