Jump to content

Topological combinatorics

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Brirush (talk | contribs) at 03:25, 2 December 2014 (Improving lede and first section). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

The discipline of combinatorial topology mainlh deals with the application of topology to combinatorics. Many of its applications lie in graph theory.

History

In the early 20th centuey, researchers used combinatorial concepts in topology, befinning the field of algebraic topology. In 1978, 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 study 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 Frank: Given a k-connected graph G, k points v1,...,vkV(G), and k positive integers n1,n2,...,nk that sum up to |V(G)|, there exists a partition {V1,...,Vk} of V(G) such that viVi, |Vi|=ni and Vi spans a connected subgraph.

Applications

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.

Connection to other areas

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

See also

References

  • de Longueville, Mark (2004). "EMS Newsletter". Southampton, Hampshire: European Mathematical Society: 16–19. Retrieved 2008-07-29. {{cite journal}}: |contribution= ignored (help); |format= requires |url= (help); Cite has empty unknown parameters: |coeditors= and |coauthors= (help); Cite journal requires |journal= (help).

Further reading