matroid ↗ reference
2154 papers tagged with this keyword
Arithmetic matroids, Tutte polynomial, and toric arrangements
We introduce the notion of an arithmetic matroid, whose main example is given by a list of elements of a finitely generated abelian group. In particular we study the representability of its dual, providing an extension of the Gale duality to this setting. Guided by the geometry of generalized toric arrangements, we provide a combinatorial interpretation of the associated arithmetic Tutte polynomial, which can be seen as a generalization of Crapo's formula for the classical Tutte polynomial.
Some 0/1 polytopes need exponential size extended formulations
We prove that there are 0/1 polytopes P that do not admit a compact LP formulation. More precisely we show that for every n there is a sets X \subseteq {0,1}^n such that conv(X) must have extension complexity at least 2^{n/2 * (1-o(1))}. In other words, every polyhedron Q that can be linearly projected on conv(X) must have exponentially many facets.
In fact, the same result also applies if conv(X) is restricted to be a matroid polytope.
Conditioning on NP not contained in P_{/poly}, our result rules out the existence of any compact formulation for the TSP polytope, even if the formulation may contain arbitrary real numbers.
Topological representations of matroid maps
Published
• View Publication
• BIB
The Topological Representation Theorem for (oriented) matroids states that every (oriented) matroid can be realized as the intersection lattice of an arrangement of codimension one homotopy spheres on a homotopy sphere. In this paper, we use a construction of Engström to show that structure-preserving maps between matroids induce topological mappings between their representations; a result previously known only in the oriented case. Specifically, we show that weak maps induce continuous maps and that the process is a functor from the category of matroids with weak maps to the homotopy category of topological spaces. We also give a new and conceptual proof of a result regarding the Whitney numbers of the first kind of a matroid.
Log-concavity of characteristic polynomials and the Bergman fan of matroids
Published
• View Publication
• BIB
In a recent paper, the first author proved the log-concavity of the coefficients of the characteristic polynomial of a matroid realizable over a field of characteristic 0, answering a long-standing conjecture of Read in graph theory. We extend the proof to all realizable matroids, making progress towards a more general conjecture of Rota-Heron-Welsh. Our proof follows from an identification of the coefficients of the reduced characteristic polynomial as answers to particular intersection problems on a toric variety. The log-concavity then follows from an inequality of Hodge type.
Quantum Codes and Symplectic Matroids
Published
• View Publication
• BIB
The correspondence between linear codes and representable matroids is well known. But a similar correspondence between quantum codes and matroids is not known. We show that representable symplectic matroids over a finite field $\mathbb{F}_q$ correspond to $\mathbb{F}_q$-linear quantum codes. Although this connection is straightforward, it does not appear to have been made earlier in literature. The correspondence is made through isotropic subspaces. We also show that the popular Calderbank-Shor-Steane (CSS) codes are essentially the homogenous symplectic matroids while the graph states, which figure so prominently in measurement based quantum computation, correspond to a special class of symplectic matroids, namely Lagrangian matroids. This association is useful in that it enables the study of symplectic matroids in terms of quantum codes and vice versa. Furthermore, it has application in the study of quantum secret sharing schemes.
$k$-Sum Decomposition of Strongly Unimodular Matrices
Published
• View Publication
• BIB
Networks are frequently studied algebraically through matrices. In this work, we show that networks may be studied in a more abstract level using results from the theory of matroids by establishing connections to networks by decomposition results of matroids. First, we present the implications of the decomposition of regular matroids to networks and related classes of matrices, and secondly we show that strongly unimodular matrices are closed under $k$-sums for $k=1,2$ implying a decomposition into highly connected network-representing blocks, which are also shown to have a special structure.
Matroids with at least two regular elements
Published in (2012), Matroids with at least two regular elements, European Journal of Combinatorics 33 1022 - 1029
• View Publication
• BIB
For a matroid $M$, an element $e$ such that both $M\backslash e$ and $M/e$ are regular is called a regular element of $M$. We determine completely the structure of non-regular matroids with at least two regular elements. Besides four small size matroids, all 3-connected matroids in the class can be pieced together from $F_7$ or $S_8$ and a regular matroid using 3-sums. This result takes a step toward solving a problem posed by Paul Seymour: Find all 3-connected non-regular matroids with at least one regular element [5, 14.8.8].
The brick polytope of a sorting network
Published in European J. Combin., 33(4):632-662, 2012
• View Publication
• BIB
The associahedron is a polytope whose graph is the graph of flips on triangulations of a convex polygon. Pseudotriangulations and multitriangulations generalize triangulations in two different ways, which have been unified by Pilaud and Pocchiola in their study of flip graphs on pseudoline arrangements with contacts supported by a given sorting network.
In this paper, we construct the brick polytope of a sorting network, obtained as the convex hull of the brick vectors associated to each pseudoline arrangement supported by the network. We combinatorially characterize the vertices of this polytope, describe its faces, and decompose it as a Minkowski sum of matroid polytopes.
Our brick polytopes include Hohlweg and Lange's many realizations of the associahedron, which arise as brick polytopes for certain well-chosen sorting networks. We furthermore discuss the brick polytopes of sorting networks supporting pseudoline arrangements which correspond to multitriangulations of convex polygons: our polytopes only realize subgraphs of the flip graphs on multitriangulations and they cannot appear as projections of a hypothetical multiassociahedron.
New Representations of Matroids and Generalizations
We extend the notion of matroid representations by matrices over fields and consider new representations of matroids by matrices over finite semirings, more precisely over the boolean and the superboolean semirings. This idea of representations is generalized naturally to include also hereditary collections. We show that a matroid that can be directly decomposed as matroids, each of which is representable over a field, has a boolean representation, and more generally that any arbitrary hereditary collection is superboolean-representable.
Finite connectivity in infinite matroids
Published
• View Publication
• BIB
We introduce a connectivity function for infinite matroids with properties similar to the connectivity function of a finite matroid, such as submodularity and invariance under duality. As an application we use it to extend Tutte's linking theorem to finitary and to co-finitary matroids.
Certifying Non-representability of Matroids Over Prime Fields
Published
• View Publication
• BIB
It is proved that, for a prime number $p$, showing that an $n$-element matroid is not representable over $GF(p)$ requires only $O(n^2)$ rank evaluations.
Inequivalent Representations of Matroids over Prime Fields
Published
• View Publication
• BIB
It is proved that for each prime field $GF(p)$, there is an integer $f(p)$ such that a 4-connected matroid has at most $f(p)$ inequivalent representations over $GF(p)$. We also prove a stronger theorem that obtains the same conclusion for matroids satisfying a connectivity condition, intermediate between 3-connectivity and 4-connectivity that we term "$k$-coherence".
We obtain a variety of other results on inequivalent representations including the following curious one. For a prime power $q$, let ${\mathcal R}(q)$ denote the set of matroids representable over all fields with at least $q$ elements. Then there are infinitely many Mersenne primes if and only if, for each prime power $q$, there is an integer $m_q$ such that a 3-connected member of ${\mathcal R}(q)$ has at most $m_q$ inequivalent GF(7)-representations.
The theorems on inequivalent representations of matroids are consequences of structural results that do not rely on representability. The bulk of this paper is devoted to proving such results.
Pfaffian Circuits
It remains an open question whether the apparent additional power of quantum computation derives inherently from quantum mechanics, or merely from the flexibility obtained by "lifting" Boolean functions to linear operators and evaluating their composition cleverly. Holographic algorithms provide a useful avenue for exploring this question. We describe a new, simplified construction of holographic algorithms in terms of Pfaffian circuits. Novel proofs of some key results are provided, and we extend the approach of [34] to nonsymmetric, odd, and homogenized signatures, circuits, and various models of execution flow. This shows our approach is as powerful as the matchgate approach. Holographic algorithms provide in general $O(n^{ω_p})$ time algorithms, where $ω_p$ is the order of Pfaffian evaluation in the ring of interest (with $1.19 \leq ω_p \leq 3$ depending on the ring) and $n$ is the number of inclusions of variables into clauses. Our approach often requires just the evaluation of an $n \times n$ Pfaffian, and at most needs an additional two rows per gate, whereas the matchgate approach is quartic in the arity of the largest gate. We give examples (even before any change of basis) including efficient algorithms for certain lattice path problems and an $O(n^{ω_p})$ algorithm for evaluation of Tutte polynomials of lattice path matroids. Finally we comment on some of the geometric considerations in analyzing Pfaffian circuits under arbitrary basis change. Connections are made to the sum-product algorithm, classical simulation of quantum computation, and SLOCC equivalent entangled states.
Polynomial invariants of graphs on surfaces
Published
• View Publication
• BIB
For a graph embedded into a surface, we relate many combinatorial parameters of the cycle matroid of the graph and the bond matroid of the dual graph with the topological parameters of the embedding. This will give an expression of the polynomial, defined by M.Las Vergnas in a combinatorial way using matroids as a specialization of the Krushkal polynomial, defined using the symplectic structure in the first homology group of the surface.
Combinatorics of the tropical Torelli map
Published
• View Publication
• BIB
This paper is a combinatorial and computational study of the moduli space of tropical curves of genus g, the moduli space of principally polarized tropical abelian varieties, and the tropical Torelli map. These objects were introduced recently by Brannetti, Melo, and Viviani. Here, we give a new definition of the category of stacky fans, of which the aforementioned moduli spaces are objects and the Torelli map is a morphism. We compute the poset of cells of tropical M_g and of the tropical Schottky locus for genus at most 5. We show that tropical A_g is Hausdorff, and we also construct a finite-index cover for A_3 which satisfies a tropical-type balancing condition. Many different combinatorial objects, including regular matroids, positive semidefinite forms, and metric graphs, play a role.
The central curve in linear programming
Published in Foundations of Computational Mathematics: Volume 12, Issue 4 (2012), Page 509-540
• View Publication
• BIB
The central curve of a linear program is an algebraic curve specified by linear and quadratic constraints arising from complementary slackness. It is the union of the various central paths for minimizing or maximizing the cost function over any region in the associated hyperplane arrangement. We determine the degree, arithmetic genus and defining prime ideal of the central curve, thereby answering a question of Bayer and Lagarias. These invariants, along with the degree of the Gauss image of the curve, are expressed in terms of the matroid of the input matrix. Extending work of Dedieu, Malajovich and Shub, this yields an instance-specific bound on the total curvature of the central path, a quantity relevant for interior point methods. The global geometry of central curves is studied in detail.
Coarse types of tropical matroid polytopes
Describing the combinatorial structure of the tropical complex $C$ of a tropical matroid polytope, we obtain a formula for the coarse types of the maximal cells of $C$. Due to the connection between tropical complexes and resolutions of monomial ideals, this yields the generators for the corresponding coarse type ideal introduced in a recent paper of Dochtermann, Joswig and Sanyal (2010, preprint arXiv.org:1001.0237). Furthermore, a complete description of the minimal tropical halfspaces of the uniform tropical matroid polytopes, i.e. the tropical hypersimplices, is given.
$M$-Shellability of Discrete Polymatroids
In this note we show that every discrete polymatroid is $M$-shellable. This gives, in a partial case, a positive answer to a conjecture of Chari and improves a recent result of Schweig where he proved that the $h$-vector of a lattice path matroid satisfies a conjecture of Stanley.
Decomposition of Binary Signed-Graphic Matroids
Published
• View Publication
• BIB
In this paper we employ Tutte's theory of bridges to derive a decomposition theorem for binary matroids arising from signed graphs. The proposed decomposition differs from previous decomposition results on matroids that have appeared in the literature in the sense that it is not based on $k$-sums, but rather on the operation of deletion of a cocircuit. Specifically, it is shown that certain minors resulting from the deletion of a cocircuit of a binary matroid will be graphic matroids apart from exactly one that will be signed-graphic, if and only if the matroid is signed-graphic.
Recognition algorithms for binary signed-graphic matroids
Published
• View Publication
• BIB
In this paper we provide two recognition algorithms for the class of signed-graphic matroids along with necessary and sufficient conditions for a matroid to be signed-graphic. Specifically, we provide a polynomial-time algorithm which determines whether a given binary matroid is signed-graphic and an algorithm which determines whether a general matroid given by an independece oracle is binary signed-graphic.