Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revisionBoth sides next revision | ||
tutorial:caratheodory [2010/08/10 10:39] – joswig | tutorial:caratheodory [2014/01/03 15:45] – external edit 127.0.0.1 | ||
---|---|---|---|
Line 1: | Line 1: | ||
- | ===== A Counter-example to an integer | + | ===== A Counter-example to an integer |
+ | |||
+ | ==== The construction | ||
This tutorial describes the construction of a specific rational cone in six dimensions which is due to: | This tutorial describes the construction of a specific rational cone in six dimensions which is due to: | ||
Line 43: | Line 45: | ||
This means that //x// cannot be represented as a non-negative linear combination of any six of the given generators of //C//. | This means that //x// cannot be represented as a non-negative linear combination of any six of the given generators of //C//. | ||
+ | ==== Analyzing the combinatorics ==== | ||
+ | |||
+ | The following is taken from | ||
+ | * Michael Joswig, Benjamin Müller, and Andreas Paffenholz: '' | ||
+ | |||
+ | < | ||
+ | polytope > print $C-> | ||
+ | polytope > print rows_labeled($C-> | ||
+ | </ | ||
+ | |||
+ | There are two disjoint facets covering all the vertices. Beware the numbering of facets depends on the convex hull algorithm employed. | ||
+ | < | ||
+ | polytope > print $C-> | ||
+ | polytope > print $C-> | ||
+ | </ | ||
+ | |||
+ | < | ||
+ | polytope > print rows_labeled($M); | ||
+ | </ | ||
+ | |||
+ | Here is another polytope which is somewhat similar but not quite the same. | ||
+ | < | ||
+ | polytope > $cross5=cross(5); | ||
+ | polytope > print isomorphic($C, | ||
+ | polytope > print isomorphic($C-> | ||
+ | </ | ||
+ | |||
+ | < | ||
+ | polytope > print $cross5-> | ||
+ | </ | ||
+ | Look at two facets of the five-dimensional cross polytope and their positions in the dual graph. | ||
+ | < | ||
+ | polytope > print $cross5-> | ||
+ | polytope > print $cross5-> | ||
+ | polytope > print rows_labeled($cross5-> | ||
+ | </ | ||
+ | |||
+ | Now we construct a new graph by manipulating the dual graph of the cross polytope by contracting a perfect matching. | ||
+ | < | ||
+ | polytope > $g=new props:: | ||
+ | polytope > $g-> | ||
+ | polytope > $g-> | ||
+ | polytope > $g-> | ||
+ | polytope > $g-> | ||
+ | polytope > $g-> | ||
+ | polytope > $g-> | ||
+ | </ | ||
+ | The last command renumbers the nodes sequentially, | ||
+ | < | ||
+ | polytope > print isomorphic($C-> | ||
+ | </ | ||
+ | This finally reveals the combinatorial structure: The cone //C// is a cone over a 5-polytope which can be obtained from the 5-dimensional cross polytope by ``straightening'' |