theory of oriented matroids and convexity
play

Theory of oriented matroids and convexity J.L. Ram rez Alfons n - PowerPoint PPT Presentation

Theory of oriented matroids and convexity J.L. Ram rez Alfons n IMAG, Universit e de Montpellier CombinatoireS , Summer School , Paris, June 29 - July 3 2015 J.L. Ram rez Alfons n IIMAG, Universit e de Montpellier


  1. Theory of oriented matroids and convexity J.L. Ram´ ırez Alfons´ ın IMAG, Universit´ e de Montpellier CombinatoireS , Summer School , Paris, June 29 - July 3 2015 J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  2. A signed set X is a set X partitionned in two parts ( X + , X − ), where X + is the set of positive elements of X and X − is the set of negatives elements. The set X = X + ∪ X − is the support of X . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  3. A signed set X is a set X partitionned in two parts ( X + , X − ), where X + is the set of positive elements of X and X − is the set of negatives elements. The set X = X + ∪ X − is the support of X . We say that X is a restriction of Y if and only if X + ⊆ Y + and X − ⊆ Y − . If A is a not signed set and X a signed set then X ∩ A designe the signed set Y with Y + = X + ∩ A et Y − = X − ∩ A . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  4. The opposite of the set X , denoted by − X , is the signed set defined by ( − X ) + = X − and ( − X ) − = X + . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  5. The opposite of the set X , denoted by − X , is the signed set defined by ( − X ) + = X − and ( − X ) − = X + . Generally, given a signed set X and a set A we denote by − A X the signed set defined by ( − A X ) + = ( X + \ A ) ∪ ( X − ∩ A ) and ( − A X ) − = ( X − \ A ) ∪ ( X + ∩ A ). We say that the signed set − A X is obtained by an reorientation of A . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  6. A collection C of signed sets of a finite set E is the set of circuits of a oriented matroid on E if and only if the following axioms are verified : ( C 0) ∅ �∈ C , ( C 1) C = −C , ( C 2) for any X , Y ∈ C , if X ⊆ Y , then X = Y or X = − Y , ( C 3) for any X , Y ∈ C , X � = − Y , and e ∈ X + ∩ Y − , there exists Z ∈ C such that Z + ⊆ ( X + ∪ Y + ) \ { e } and Z − ⊆ ( X − ∪ Y − ) \ { e } . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  7. Observation (a) If sign are not taken into account, ( C 0) , ( C 2) , ( C 3) are reduced to the cicruits axioms of a nonoriented matroid. J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  8. Observation (a) If sign are not taken into account, ( C 0) , ( C 2) , ( C 3) are reduced to the cicruits axioms of a nonoriented matroid. (b) All the objects of a matroid M are also consideredas as the objects of the oriented matroid M , in particular the rank of M is the same as the rank of M . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  9. Observation (a) If sign are not taken into account, ( C 0) , ( C 2) , ( C 3) are reduced to the cicruits axioms of a nonoriented matroid. (b) All the objects of a matroid M are also consideredas as the objects of the oriented matroid M , in particular the rank of M is the same as the rank of M . (c) Let M be an oriented matroid E and C the collection of circuits. We clearly have that − A C is the set of circuits of an oriented matroid, detoted by − A M and obtained from M by a reorientation of A . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  10. Observation (a) If sign are not taken into account, ( C 0) , ( C 2) , ( C 3) are reduced to the cicruits axioms of a nonoriented matroid. (b) All the objects of a matroid M are also consideredas as the objects of the oriented matroid M , in particular the rank of M is the same as the rank of M . (c) Let M be an oriented matroid E and C the collection of circuits. We clearly have that − A C is the set of circuits of an oriented matroid, detoted by − A M and obtained from M by a reorientation of A . Notation. We may write X = abcde the signed circuit X defined by X + = { a , d , e } and X − = { b , c } . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  11. Oriented graph Let G be an oriented graph. We obtain the signed circuits from the cycles of G . e f b a c d Then, C = { ( abc ) , ( abd ) , ( aef ) , ( cd ) , ( bcef ) , ( bdef ) , ( abc ) , ( abd ) , ( aef ) , ( cd ) , ( bcef ) , ( bdef ) } . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  12. Vector configuration Let E = { v 1 , . . . , v n } be a set of vectors that generate the space of dimension r over an ordered field. J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  13. Vector configuration Let E = { v 1 , . . . , v n } be a set of vectors that generate the space of dimension r over an ordered field. Let us consider a minimal linear dependecy n � λ i v i = 0 i =1 where λ i ∈ I R . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  14. Vector configuration Let E = { v 1 , . . . , v n } be a set of vectors that generate the space of dimension r over an ordered field. Let us consider a minimal linear dependecy n � λ i v i = 0 i =1 where λ i ∈ I R . We obtain an oriented matroid on E by considering the signed sets X = ( X + , X − ) where X + = { i : λ i > 0 } e t X − = { i : λ i < 0 } for all minimal dependencies among the v i . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  15. Let a b c d e f   1 1 0 0 1 0 A = 0 1 1 1 0 0   0 0 0 0 1 1 The columns of A correspond to the following vectors 1 f e c,d 1 a 1 b J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  16. We can check that the circuits of 1 f e c,d 1 a 1 b are the same as those arising from e f b a c J.L. Ram´ ırez Alfons´ ın d IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity For exemple, ( abc ) correspond to the linear combination

  17. Configurations of points Any configuration of points induce an oriented matroid in the affine space where the signed set of circuits are are the coefficients of minimal affine dependencies of the form � � λ i = 0 , λ i ∈ I λ i v i = 0 with R i i J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  18. a b c d e f � − 1 � 0 0 3 1 0 A = 0 0 1 0 2 3 J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  19. a b c d e f � − 1 � 0 0 3 1 0 A = 0 0 1 0 2 3 f e c d a b J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  20. a b c d e f � − 1 � 0 0 3 1 0 A = 0 0 1 0 2 3 f e c d a b C = { ( abd ) , ( bcf ) , ( def ) , ( ace ) , ( abef ) , ( bcde ) , ( acdf ) , ( abd ) , ( bcf ) , ( def ) , ( ace ) , ( abef ) , ( bcde ) , ( acdf ) } . J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  21. a b c d e f � − 1 � 0 0 3 1 0 A = 0 0 1 0 2 3 f e c d a b C = { ( abd ) , ( bcf ) , ( def ) , ( ace ) , ( abef ) , ( bcde ) , ( acdf ) , ( abd ) , ( bcf ) , ( def ) , ( ace ) , ( abef ) , ( bcde ) , ( acdf ) } . For instance, circuit ( abd ) correspond to the affine dependecy 3( − 1 , 0) t − 4(0 , 0) t + 1(3 , 0) t = (0 , 0) t with 3 − 4 + 1 = 0. J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  22. The obtained oriented matroid is the one arising from f e c b d a J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  23. The obtained oriented matroid is the one arising from f e c b d a Geometrically : circuits are minimal Radon partitions. The convex hull of positive elements intersect the convex hull of negatives elements. J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  24. The obtained oriented matroid is the one arising from f e c b d a Geometrically : circuits are minimal Radon partitions. The convex hull of positive elements intersect the convex hull of negatives elements. For exemple, from circuit ( abd ) we see that point b is in the segment [ a , b ] and from circuit ( abef ) the segment [ a , e ] intersect the segment [ b , f ] J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

  25. Consider the oriented matroid − d M ( A ) obtained by reorienting element d of M ( A ). J.L. Ram´ ırez Alfons´ ın IIMAG, Universit´ e de Montpellier Theory of oriented matroids and convexity

Recommend


More recommend