DOCSLIB.ORG

Linear Complementarity and Oriented Matroids

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Linear Complementarity and Oriented Matroids Linear Complementarity and Oriented Matroids Linear Complementarity and Oriented Matroids Robin Leroy Laurin Stenz December 29, 2015 Contents 1 LCP Duality Theorem 2 2 Oriented Matroids 4 2.1 Definitions . .4 2.2 Dual . .6 2.3 OMCP Duality Theorem . .7 2.4 Basis . .9 2.5 Tableau . 10 3 Criss-Cross Method 11 3.1 Basis-Form Duality Theorem . 12 3.2 Algorithm . 16 This report relies heavily on the paper Linear Complementarity and Oriented Matroids by Komei Fukuda and Tam´asTerlaky. If not mentioned otherwise, one can assume that the ideas originated in this paper. Robin Leroy, Laurin Stenz 1 Linear Complementarity and Oriented Matroids 1 LCP Duality Theorem 2n+1 2n n In the following, n is fixed, vectors in R are indexed from 0, vectors in R or R are indexed from 1. Recall the linear complementarity problem, namely, given an n by n matrix A and n n b 2 R , to find w and z in R with nonnegative entries satisfying w = Az + b, zT w = 0. This problem can be reformulated as follows. Define the vector space 2n+1 V (A; b) = x 2 R (−b|−Aj1)x = 0 = ker(−b|−Aj1). The above linear complementarity problem is then equivalent to finding x 2 V (A; b) with nonnegative entries satisfying x0 = 1 and xixn+i = 0 for i = 1; : : : ; n. A vector satisfying xixn+i = 0 for i = 1; : : : ; n is called complementary. The equivalence is given by 0 1 1 B C x = @z A . w Indeed, substituting yields 0 1 1 1 B C (−b|−Aj ) @z A = −b − Az + w = 0, w ziwi = 0 for i = 1; : : : ; n, T where second condition is equivalent to z w = 0 since the ziwi are nonnegative. We can generalize the problem further to finding a complementary vector in any given 2n+1 subspace V of R with nonnegative entries and its first entry equal to one. 2n+1 2n We call a vector x 2 R or x 2 R strictly sign preserving (s.s.p.) if xixn+i ≥ 0 for i = 1; : : : ; n xjxn+j > 0 for some j > 0. Robin Leroy, Laurin Stenz 2 Linear Complementarity and Oriented Matroids We call it strictly sign reversing (s.s.r.) if xixn+i ≤ 0 for i = 1; : : : ; n xjxn+j < 0 for some j > 0. We will then prove the following result about this problem. Theorem 1.1 2n+1 Let V be a subspace of R satisfying the following conditions: either V contains no s.s.r. vector x with x0 = 0 (1) or V contains no s.s.p. vector x with x0 6= 0 and ? either V contains no s.s.r. vector y with y0 = 0 (2) ? or V contains no s.s.p. vector y with y0 6= 0: Then exactly one of the following statements holds: (a) There exists a nonnegative complementary vector x 2 V with x0 = 1. ? (b) There exists a nonnegative complementary vector y 2 V with y0 = 1. The above theorem suggests a dual problem to that of finding a nonnegative comple- mentary vector in V with its first entry equal to one, namely finding a nonnegative complementary vector in V ? with its first entry equal to one. Going back to the original LCP where V = V (A; b), the dual problem becomes to find a nonnegative complementary y 2 V (A; b)? with its first entry equal to 1. Since 0 1 −bT ? 1 ? 1 1 T B T C V (A; b) = (ker(−b|−Aj )) = coim(−b|−Aj ) = im(−b|−Aj ) = im @−A A , 1 n this is equivalent to finding an u 2 R such that 0 1 0 1 −bT −bT u B T C B T C @−A A u = @−A uA 1 u has nonnegative entries, first entry 1, and is complementary. This is, in turn, equivalent to u having nonnegative entries, AT u having nonpositive entries, bT u = 1, and uT AT u = 0. Robin Leroy, Laurin Stenz 3 Linear Complementarity and Oriented Matroids We note that when written directly in terms of the initial A and b, the dual of the LCP looks very different from the primal LCP; the more general linear algebraic approach yields a much more symmetrical statement. The actual proof of this result will use an even more general formulation, using combi- natorial objects instead of vector spaces. Before we get to the proof, note that the matrices such that for all b, V (A; b) contains no s.s.r vector whose first entry vanishes and V (A; b)? contains no s.s.p vector whose first entry does not vanish are exactly the sufficient matrices (as shown in the talk from November 17th). 2 Oriented Matroids Remark that the theorem as formulated in the previous section made assumptions and statements only about the signs of entries of vectors. It is possible to come up with objets more general than vectors that express only those signs. 2.1 Definitions Definition Notations Let E be a finite set. Let X; Y 2 f+; −; 0gE be so called sign vectors or just vectors. Let S ⊂ E. • E ground set E • 0 := (0 0 ··· 0)> 2 f0g zero sign vector •− X is defined componentwise by negative 8 >+ if Xe = − <> (−X)e := −Xe := − if Xe = + > :0 if Xe = 0: • X ◦ Y is defined componentwise by composition ( Xe if Xe 6= 0 (X ◦ Y )e = Ye otherwise. • D(X; Y ) := fe 2 E j Xe = −Ye 6= 0g set of separating elements Robin Leroy, Laurin Stenz 4 Linear Complementarity and Oriented Matroids • e 2 D(X; Y ) e separates X and Y • The support of a signed vector X is called support X := fj 2 E j Xj 6= 0g : • Restriction of a signed vector is a subvector, namely restriction omitting S EnS X nS 2 f+; −; 0g such that 8 e 62 S (X nS)e = Xe: Definition Oriented Matroid, Signed Vector An oriented matroid M is a pair (E; F), where E is a finite set and F ⊂ f+; −; 0gE is a set of sign vectors (or just vectors) for which the following axioms are valid. (OM1) 0 2 F (OM2) X 2 F then −X 2 F (symmetry) (OM3) X; Y 2 F then X ◦ Y 2 F (composition) (OM4) X; Y 2 F and f 2 D(X; Y ) (covector elimination) then 9 Z 2 F such that Zf = 0 8 j 2 E n D(X; Y ) holds Zj = (X ◦ Y )j: Intuitively, sign vectors X will correspond to vectors x in a subspace of R whose entries have the corresponding signs. Under that interpretation, −X corresponds to −x, and the composition X ◦ Y corresponds to \x + "y for some " > 0". E Formally, define δ : R −! f+; −; 0g by δ(x)j = sign(xj). δ(x) is called the incidence vector of x. Then, for any vector space V , the axioms (OM1{4) hold for δ(V ). The first two axioms are immediate: 0 = δ(0), and −δ(x) = δ(−x). For (OM3), given x; x0 2 V , let " > 0 be 0 0 0 such that jxij > "jx ij for all i such that xi 6= 0, then δ(x) ◦ δ(x ) = δ(x + "x ). Finally, Robin Leroy, Laurin Stenz 5 Linear Complementarity and Oriented Matroids 0 0 to prove (OM4), note that f 2 D(δ(x); δ(x )) implies xf = −λxf for some λ > 0. Let Z = δ(x + λx0), Z then has the required properties. 2.2 Dual We can now transfer the notion of orthogonal complement to the world of oriented matroids. P Two vectors v and w are orthogonal if i viwi = 0. A necessary (but not sufficient) condition for that is that the nonzero terms of this sum, if there are any, should not all be of the same sign. P Moreover, if i viwi has nonzero terms of both signs, then the sum can be made 0 by rescaling some entries of v by a positive factor, so that there is a w0 orthogonal to v with the same incidence vector as w. This motivates the following definition: two sign vectors X; Y 2 f+; −; 0gE are orthog- onal, denoted X ∗ Y , if either 8g 2 E; XgYg = 0 or 9f; g 2 E; Xf Yf = −XgYg 6= 0. The dual of a matroid (E; F) is (E; F ∗) defined by n o ∗ E F = Y 2 f+; −; 0g 8X 2 F;X ∗ Y . It can seen that this is a matroid, and that F ∗∗ = F. The considerations above show that δ(V )∗ = δ(V ?), so that this does indeed generalize orthogonal complements to oriented matroids. Let E2n = f1;:::; 2ng and E^2n = f0; 1;:::; 2ng. Moreover, let 8 <i + n 1 ≤ i ≤ n ¯i = :i − n n + 1 ≤ i ≤ 2n: More generally, we will use E2n for a set of 2n elements partitioned into n pairs, and E^2n for E2n with an additional element g. For a signed vector X 2 F of an oriented matroid (E^2n; F), X is said to be complemen- tary under the same condition as before, namely if for all i 2 E2n, XiX¯i = 0. Note that 2n+1 x 2 R is complementary if and only if δ(x) is. Similarly, define simply sign preserving and simply sign reversing sign vectors as for 2n+1 vectors in R , and note that these properties are preserved by δ. We now have the formalism needed to state the complementarity problem and the duality 2n+1 theorem using oriented matroids instead of subspaces of R .
Load more

Recommended publications
  • Combinatorial Characterizations of K-Matrices
    Combinatorial Characterizations of K-matricesa Jan Foniokbc Komei Fukudabde Lorenz Klausbf October 29, 2018 We present a number of combinatorial characterizations of K-matrices. This extends a theorem of Fiedler and Pt´ak on linear-algebraic character- izations of K-matrices to the setting of oriented matroids. Our proof is elementary and simplifies the original proof substantially by exploiting the duality of oriented matroids. As an application, we show that a simple principal pivot method applied to the linear complementarity problems with K-matrices converges very quickly, by a purely combinatorial argument. Key words: P-matrix, K-matrix, oriented matroid, linear complementarity 2010 MSC: 15B48, 52C40, 90C33 1 Introduction A matrix M ∈ Rn×n is a P-matrix if all its principal minors (determinants of principal submatrices) are positive; it is a Z-matrix if all its off-diagonal elements are non-positive; and it is a K-matrix if it is both a P-matrix and a Z-matrix. Z- and K-matrices often occur in a wide variety of areas such as input–output produc- tion and growth models in economics, finite difference methods for partial differential equations, Markov processes in probability and statistics, and linear complementarity problems in operations research [2]. In 1962, Fiedler and Pt´ak [9] listed thirteen equivalent conditions for a Z-matrix to be a K-matrix. Some of them concern the sign structure of vectors: arXiv:0911.2171v3 [math.OC] 3 Aug 2010 a This research was partially supported by the project ‘A Fresh Look at the Complexity of Pivoting in Linear Complementarity’ no.
    [Show full text]
  • Arxiv:1508.05446V2 [Math.CO] 27 Sep 2018 02,5B5 16E10
    CELL COMPLEXES, POSET TOPOLOGY AND THE REPRESENTATION THEORY OF ALGEBRAS ARISING IN ALGEBRAIC COMBINATORICS AND DISCRETE GEOMETRY STUART MARGOLIS, FRANCO SALIOLA, AND BENJAMIN STEINBERG Abstract. In recent years it has been noted that a number of combi- natorial structures such as real and complex hyperplane arrangements, interval greedoids, matroids and oriented matroids have the structure of a finite monoid called a left regular band. Random walks on the monoid model a number of interesting Markov chains such as the Tsetlin library and riffle shuffle. The representation theory of left regular bands then comes into play and has had a major influence on both the combinatorics and the probability theory associated to such structures. In a recent pa- per, the authors established a close connection between algebraic and combinatorial invariants of a left regular band by showing that certain homological invariants of the algebra of a left regular band coincide with the cohomology of order complexes of posets naturally associated to the left regular band. The purpose of the present monograph is to further develop and deepen the connection between left regular bands and poset topology. This allows us to compute finite projective resolutions of all simple mod- ules of unital left regular band algebras over fields and much more. In the process, we are led to define the class of CW left regular bands as the class of left regular bands whose associated posets are the face posets of regular CW complexes. Most of the examples that have arisen in the literature belong to this class. A new and important class of ex- amples is a left regular band structure on the face poset of a CAT(0) cube complex.
    [Show full text]
  • Complete Enumeration of Small Realizable Oriented Matroids
    Complete enumeration of small realizable oriented matroids Komei Fukuda ∗ Hiroyuki Miyata † Institute for Operations Research and Graduate School of Information Institute of Theoretical Computer Science, Sciences, ETH Zurich, Switzerland Tohoku University, Japan [email protected] [email protected] Sonoko Moriyama ‡ Graduate School of Information Sciences, Tohoku University, Japan [email protected] September 26, 2012 Abstract Enumeration of all combinatorial types of point configurations and polytopes is a fundamental problem in combinatorial geometry. Although many studies have been done, most of them are for 2-dimensional and non-degenerate cases. Finschi and Fukuda (2001) published the first database of oriented matroids including degenerate (i.e., non-uniform) ones and of higher ranks. In this paper, we investigate algorithmic ways to classify them in terms of realizability, although the underlying decision problem of realizability checking is NP-hard. As an application, we determine all possible combinatorial types (including degenerate ones) of 3-dimensional configurations of 8 points, 2-dimensional configurations of 9 points and 5- dimensional configurations of 9 points. We could also determine all possible combinatorial types of 5-polytopes with 9 vertices. 1 Introduction Point configurations and convex polytopes play central roles in computational geometry and discrete geometry. For many problems, their combinatorial structures or types is often more important than their metric structures. The combinatorial type of a point configuration is defined by all possible partitions of the points by a hyperplane (the definition given in (2.1)), and encodes various important information such as the convexity, the face lattice of the convex hull and all possible triangulations.
    [Show full text]
  • Coms: Complexes of Oriented Matroids Hans-Jürgen Bandelt, Victor Chepoi, Kolja Knauer
    COMs: Complexes of Oriented Matroids Hans-Jürgen Bandelt, Victor Chepoi, Kolja Knauer To cite this version: Hans-Jürgen Bandelt, Victor Chepoi, Kolja Knauer. COMs: Complexes of Oriented Matroids. Journal of Combinatorial Theory, Series A, Elsevier, 2018, 156, pp.195–237. hal-01457780 HAL Id: hal-01457780 https://hal.archives-ouvertes.fr/hal-01457780 Submitted on 6 Feb 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. COMs: Complexes of Oriented Matroids Hans-J¨urgenBandelt1, Victor Chepoi2, and Kolja Knauer2 1Fachbereich Mathematik, Universit¨atHamburg, Bundesstr. 55, 20146 Hamburg, Germany, [email protected] 2Laboratoire d'Informatique Fondamentale, Aix-Marseille Universit´eand CNRS, Facult´edes Sciences de Luminy, F-13288 Marseille Cedex 9, France victor.chepoi, kolja.knauer @lif.univ-mrs.fr f g Abstract. In his seminal 1983 paper, Jim Lawrence introduced lopsided sets and featured them as asym- metric counterparts of oriented matroids, both sharing the key property of strong elimination. Moreover, symmetry of faces holds in both structures as well as in the so-called affine oriented matroids. These two fundamental properties (formulated for covectors) together lead to the natural notion of \conditional oriented matroid" (abbreviated COM).
    [Show full text]
  • ADDENDUM the Following Remarks Were Added in Proof (November 1966). Page 67. an Easy Modification of Exercise 4.8.25 Establishes
    ADDENDUM The following remarks were added in proof (November 1966). Page 67. An easy modification of exercise 4.8.25 establishes the follow­ ing result of Wagner [I]: Every simplicial k-"complex" with at most 2 k ~ vertices has a representation in R + 1 such that all the "simplices" are geometric (rectilinear) simplices. Page 93. J. H. Conway (private communication) has established the validity of the conjecture mentioned in the second footnote. Page 126. For d = 2, the theorem of Derry [2] given in exercise 7.3.4 was found earlier by Bilinski [I]. Page 183. M. A. Perles (private communication) recently obtained an affirmative solution to Klee's problem mentioned at the end of section 10.1. Page 204. Regarding the question whether a(~) = 3 implies b(~) ~ 4, it should be noted that if one starts from a topological cell complex ~ with a(~) = 3 it is possible that ~ is not a complex (in our sense) at all (see exercise 11.1.7). On the other hand, G. Wegner pointed out (in a private communication to the author) that the 2-complex ~ discussed in the proof of theorem 11.1 .7 indeed satisfies b(~) = 4. Page 216. Halin's [1] result (theorem 11.3.3) has recently been genera­ lized by H. A. lung to all complete d-partite graphs. (Halin's result deals with the graph of the d-octahedron, i.e. the d-partite graph in which each class of nodes contains precisely two nodes.) The existence of the numbers n(k) follows from a recent result of Mader [1] ; Mader's result shows that n(k) ~ k.2(~) .
    [Show full text]
  • Independent Hyperplanes in Oriented Paving Matroids
    Independent Hyperplanes in Oriented Paving Matroids Lamar Chidiac Winfried Hochst¨attler Fakult¨atf¨urMathematik und Informatik, FernUniversit¨atin Hagen, Germany, flamar.chidiac,[email protected] Abstract In 1993, Csima and Sawyer [3] proved that in a non-pencil arrangement of n pseudolines, 6 there are at least 13 n simple points of intersection. Since pseudoline arrangements are the topological representations of reorientation classes of oriented matroids of rank 3, in this paper, we will use this result to prove by induction that an oriented paving matroid of rank r ≥ 3 12 n on n elements, where n ≥ 5 + r, has at least 13(r−1) r−2 independent hyperplanes, yielding a new necessary condition for a paving matroid to be orientable. 1 Introduction In 1893 Sylvester asked in [18] the following question: \Prove that it is not possible to arrange any finite number of real points so that a right line through every two of them shall pass through a third, unless they all lie in the same right line." This question remained unsolved for almost 40 years, until it was independently raised by Erd¨osand solved shortly after by Gallai in 1933 [7, 8, 6] and later on several other proofs have been found (for reference [16], p.451 and [2], p. 65). In other words, the Sylvester-Gallai theorem states that given a set of non-collinear points in the Euclidean plane, we can always find at least one line that has exactly two of the given points, we call it an ordinary line. A generalization of this theorem to higher dimension is not always true, i.e.
    [Show full text]
  • A Lattice-Theoretical Characterization of Oriented Matroids
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Europ . J . Combinatorics (1997) 18 , 563 – 574 A Lattice-theoretical Characterization of Oriented Matroids W . H OCHSTA ¨ TTLER If 3 is the big face lattice of the covectors of an oriented matroid , it is well known that the zero map is a cover-preserving , order-reversing surjection onto the geometric lattice of the underlying (unoriented) matroid . In this paper we give a (necessary and) suf ficient condition for such maps to come from the face lattice of an oriented matroid . ÷ 1997 Academic Press Limited 1 . I NTRODUCTION Combinatorial geometries or matroids were considered as systems of points , lines or higher dimensional flats and their incidences for the first time in [14] . In oriented combinatorial geometry the property ‘is not on’ is replaced by ‘is to the left or to the right of’ . A geometric lattice is an unoriented incidence system corresponding to a simple matroid . The natural counterpart to a geometric lattice on the oriented side is the face lattice of an oriented matroid . Oriented matroids—introduced in the late 1970s independently in [5] and [8]—are a generalization of the cell complexes induced by hyperplane arrangements in Euclidean space . To be more precise , oriented matroids are in one-to-one correspondence to arrangements of pseudo hyperspheres , which can be thought of as ‘broken-hyperplane arrangements in oriented projective space’ [8 , 12] . These hyperspheres induce a regular cell decomposition of the sphere . The face lattice consists of its cells ordered by inclusion in the closure .
    [Show full text]
  • Matroid Optimization and Algorithms Robert E. Bixby and William H
    Matroid Optimization and Algorithms Robert E. Bixby and William H. Cunningham June, 1990 TR90-15 MATROID OPTIMIZATION AND ALGORITHMS by Robert E. Bixby Rice University and William H. Cunningham Carleton University Contents 1. Introduction 2. Matroid Optimization 3. Applications of Matroid Intersection 4. Submodular Functions and Polymatroids 5. Submodular Flows and other General Models 6. Matroid Connectivity Algorithms 7. Recognition of Representability 8. Matroid Flows and Linear Programming 1 1. INTRODUCTION This chapter considers matroid theory from a constructive and algorithmic viewpoint. A substantial part of the developments in this direction have been motivated by opti­ mization. Matroid theory has led to a unification of fundamental ideas of combinatorial optimization as well as to the solution of significant open problems in the subject. In addition to its influence on this larger subject, matroid optimization is itself a beautiful part of matroid theory. The most basic optimizational property of matroids is that for any subset every max­ imal independent set contained in it is maximum. Alternatively, a trivial algorithm max­ imizes any {O, 1 }-valued weight function over the independent sets. Most of matroid op­ timization consists of attempts to solve successive generalizations of this problem. In one direction it is generalized to the problem of finding a largest common independent set of two matroids: the matroid intersection problem. This problem includes the matching problem for bipartite graphs, and several other combinatorial problems. In Edmonds' solu­ tion of it and the equivalent matroid partition problem, he introduced the notions of good characterization (intimately related to the NP class of problems) and matroid (oracle) algorithm.
    [Show full text]
  • Oriented Matroids Today
    Oriented Matroids Today G¨unter M. Ziegler∗ Department of Mathematics, MA 7-1 Technische Universit¨at Berlin Strasse des 17. Juni 136 10623 Berlin, Germany [email protected] http://www.math.tu-berlin.de/∼ziegler Submitted: October 6, 1995; Accepted: March 26, 1996; Version 3 of September 10, 1998. Mathematics Subject Classification: 52-00 (52B05, 52B30, 52B35, 52B40) Abstract This dynamic survey offers an “entry point” for current research in oriented matroids. For this, it provides updates on the 1993 monograph “Oriented Matroids” by Bj¨orner, Las Vergnas, Sturmfels, White & Ziegler [85], in three parts: 1. a sketch of a few “Frontiers of Research” in oriented matroid theory, 2. an update of corrections, comments and progress as compared to [85], and 3. an extensive, complete and up-to-date bibliography of oriented matroids, comprising and extending the bibliography of [85]. 1 Introduction(s). Oriented matroids are both important and interesting objects of study in Combinatorial Geometry, and indispensable tools of increasing importance and applicability for many other parts of Mathematics. The main parts of the theory and some applications were, in 1993, compiled in the quite comprehensive monograph by Bj¨orner, Las Vergnas, Sturmfels, White & Ziegler [85]. For other (shorter) introductions and surveys, see Bachem & Kern [35], Bokowski & Sturmfels [146], Bokowski [116], Goodman & Pollack [333], Ziegler [712, Chapters 6 and 7], and, most recently, Richter-Gebert & Ziegler [565]. This dynamic survey provides three parts: 1. a sketch of a few “Frontiers of Research” in oriented matroid theory, 2. an update of corrections, comments and progress as compared to [85], and 3.
    [Show full text]
  • Arxiv:Math/0406116V1
    THE POSITIVE BERGMAN COMPLEX OF AN ORIENTED MATROID FEDERICO ARDILA, CAROLINE KLIVANS, AND LAUREN WILLIAMS Abstract. We study the positive Bergman complex B+(M) of an oriented matroid M, which is a certain subcomplex of the Bergman complex B(M) of the underlying unoriented matroid M. The positive Bergman complex is defined so that given a linear ideal I with associated oriented matroid MI , the positive tropical variety associated to I is equal to + + the fan over B (MI ). Our main result is that a certain “fine” subdivision of B (M) is a geometric realization of the order complex of the proper part of the Las Vergnas face lattice of M. It follows that B+(M) is homeomorphic to a sphere. For the oriented matroid of the + complete graph Kn, we show that the face poset of the “coarse” subdivision of B (Kn) is dual to the face poset of the associahedron An−2, and we give a formula for the number of fine cells within a coarse cell. 1. Introduction In [2], Bergman defined the logarithmic limit-set of an algebraic variety in order to study its exponential behavior at infinity. We follow [13] in calling this set the Bergman complex of the variety. Bergman complexes have recently received considerable attention in several areas, such as tropical algebraic geometry and dynamical systems. They are the non- Archimedean amoebas of [5] and the tropical varieties of [10, 13]. When the variety is a linear space, so that the defining ideal I is generated by linear forms, Sturmfels [13] showed that the Bergman complex can be described solely in terms of the matroid associated to the linear ideal.
    [Show full text]
  • Enumeration of PLCP-Orientations of the 4-Cube Through Solving the Realizability Problem of Oriented Matroids
    Enumeration of PLCP-orientations of the 4-cube Lorenz Klaus Hiroyuki Miyata National Institute of Informatics, Japan Graduate School of Information Sciences, and JST, ERATO, Kawarabayashi Tohoku University, Japan Large Graph Project, Japan [email protected] [email protected] August 2, 2018 Abstract The linear complementarity problem (LCP) provides a unified approach to many problems such as linear programs, convex quadratic programs, and bimatrix games. The general LCP is known to be NP-hard, but there are some promising results that suggest the possibility that the LCP with a P-matrix (PLCP) may be polynomial-time solvable. However, no polynomial-time algorithm for the PLCP has been found yet and the computational complexity of the PLCP remains open. Simple principal pivoting (SPP) algorithms, also known as Bard-type algorithms, are candidates for polynomial-time algorithms for the PLCP. In 1978, Stickney and Watson interpreted SPP algorithms as a family of algorithms that seek the sink of unique-sink orientations of n-cubes. They performed the enumeration of the arising orientations of the 3-cube, hereafter called PLCP-orientations. In this paper, we present the enumeration of PLCP-orientations of the 4-cube. The enumeration is done via construction of oriented matroids generalizing P-matrices and realizability classification of oriented matroids. Some insights obtained in the computational experiments are presented as well. 1 Introduction The linear complementarity problem (LCP), introduced by Cottle and Dantzig [7] and Lemke and How- son [33], is defined as follows. LCP(M, q): find w, z ∈ Rn s.t. w − Mz = q, w, z ≥ 0, wT z =0 Rn n Rn arXiv:1309.7225v2 [math.CO] 11 Jul 2014 for given matrix M ∈ × and vector q ∈ .
    [Show full text]
  • A Counterexample to Las Vergnas' Strong Map Conjecture on Realizable
    A counterexample to Las Vergnas’ strong map conjecture on realizable oriented matroids Pei Wu email: [email protected] April 23, 2019 Abstract The Las Vergnas’ strong map conjecture, asserts that any strong map of oriented matroids f : M1 → M2 can be factored into extensions and contractions. This conjecture is known to be false due to a construction by Richter-Gebert, he finds a strong map which is not factorizable, however in his example M1 is not realizable. The problem that whether there exists a non-factorizable strong map between realizable oriented matroids still remains open. In this paper we provide a counterexample to the strong map conjecture on realizable oriented matroids, which is a strong map f : M1 →M2, M1 is an alternating oriented matroid of rank 4 and f has corank 2. We prove it is not factorizable by showing that there is ′ ′ no uniform oriented matroid M of rank 3 such that M1 →M →M2. 1 Background The strong map conjecture, firstly posed by Las Vergnas[1], asserts that any strong map of oriented matroids f : M1 →M2 can be factored into extensions and contractions. It is known that the conjecture holds for ordinary matroids [6]. And for oriented matroids a counterexample has been constructed by Richter- Gebert [11]. However, M1 is not realizable in Richter-Gebert’s construction. The problem that whether Las Vergnas’ conjecture holds when M1 is realizable still remains open. In this paper, we will present an counterexample disproving this conjecture. Theorem 1. There is a strong map f : M1 → M2 with M1 being an real- izable oriented matroid of rank 4 on 8 elements and f corank 2, which is not arXiv:1803.06825v2 [math.CO] 22 Apr 2019 factorizable into extensions and contractions.
    [Show full text]