Topological combinatorics

From Wikipedia - Reading time: 3 min

The mathematical discipline of topological combinatorics is the application of topological and algebro-topological methods to solving problems in combinatorics.

History

[edit]

The discipline of combinatorial topology used combinatorial concepts in topology and in the early 20th century this turned into the field of algebraic topology.

In 1978 the situation was reversed—methods from algebraic topology were used to solve a problem in combinatorics—when László Lovász proved the Kneser conjecture, thus beginning the new field of topological combinatorics. Lovász's proof used the Borsuk–Ulam theorem and this theorem retains a prominent role in this new field. This theorem has many equivalent versions and analogs and has been used in the study of fair division problems.

In another application of homological methods to graph theory, Lovász proved both the undirected and directed versions of a conjecture of András Frank: Given a k-connected graph G, k points , and k positive integers that sum up to , there exists a partition of such that , , and spans a connected subgraph.

In 1987 the necklace splitting problem was solved by Noga Alon using the Borsuk–Ulam theorem. It has also been used to study complexity problems in linear decision tree algorithms and the Aanderaa–Karp–Rosenberg conjecture. Other areas include topology of partially ordered sets and Bruhat orders.

Additionally, methods from differential topology now have a combinatorial analog in discrete Morse theory.

See also

[edit]

References

[edit]
  • de Longueville, Mark (2004), "25 years proof of the Kneser conjecture - The advent of topological combinatorics" (PDF), EMS Newsletter, Southampton, Hampshire: European Mathematical Society, pp. 16–19, retrieved 2008-07-29.

Further reading

[edit]

Licensed under CC BY-SA 3.0 | Source: https://en.wikipedia.org/wiki/Topological_combinatorics
11 views | Status: cached on November 16 2024 05:27:12
Download as ZWI file
Encyclosphere.org EncycloReader is supported by the EncyclosphereKSF