matroid ↗ reference
2208 papers tagged with this keyword
The Chow form of a reciprocal linear space
Published
• View Publication
• BIB
A reciprocal linear space is the image of a linear space under coordinate-wise inversion. These fundamental varieties describe the analytic centers of hyperplane arrangements and appear as part of the defining equations of the central path of a linear program. Their structure is controlled by an underlying matroid. This provides a large family of hyperbolic varieties, recently introduced by Shamovich and Vinnikov. Here we give a definite determinantal representation to the Chow form of a reciprocal linear space. One consequence is the existence of symmetric rank-one Ulrich sheaves on reciprocal linear spaces. Another is a representation of the entropic discriminant as a sum of squares. For generic linear spaces, the determinantal formulas obtained are closely related to the Laplacian of the complete graph and generalizations to simplicial matroids. This raises interesting questions about the combinatorics of hyperbolic varieties and connections with the positive Grassmannian.
The highly connected even-cycle and even-cut matroids
Published in SIAM Journal on Discrete Mathematics 33 (2019), 26-67
• View Publication
• BIB
The classes of even-cycle matroids, even-cycle matroids with a blocking pair, and even-cut matroids each have hundreds of excluded minors. We show that the number of excluded minors for these classes can be drastically reduced if we consider in each class only the highly connected matroids of sufficient size.
Transitive closure and transitive reduction in bidirected graphs
Published in Czechoslovak Math. J., 69(2) (2019), 295-315
• View Publication
• BIB
In a bidirected graph an edge has a direction at each end, so bidirected graphs generalize directed graphs. We generalize the definitions of transitive closure and transitive reduction from directed graphs to bidirected graphs by introducing new notions of bipath and bicircuit that generalize directed paths and cycles. We show how transitive reduction is related to transitive closure and to the matroids of the signed graph corresponding to the bidirected graph.
Matrix representations of frame and lifted-graphic matroids correspond to gain functions
Published
• View Publication
• BIB
Let $M$ be a 3-connected matroid and let $\mathbb F$ be a field. Let $A$ be a matrix over $\mathbb F$ representing $M$ and let $(G,\mathcal B)$ be a biased graph representing $M$. We characterize the relationship between $A$ and $(G,\mathcal B)$, settling four conjectures of Zaslavsky. We show that for each matrix representation $A$ and each biased graph representation $(G,\mathcal{B})$ of $M$, $A$ is projectively equivalent to a canonical matrix representation arising from $G$ as a gain graph over $\mathbb F^+$ or $\mathbb F^\times$ realizing $\mathcal{B}$. Further, we show that the projective equivalence classes of matrix representations of $M$ are in one-to-one correspondence with the switching equivalence classes of gain graphs arising from $(G,\mathcal B)$, except in one degenerate case.
Enumeration of points, lines, planes, etc
Published
• View Publication
• BIB
One of the earliest results in enumerative combinatorial geometry is the following theorem of de Bruijn and Erdős: Every set of points $E$ in a projective plane determines at least $|E|$ lines, unless all the points are contained in a line. Motzkin and others extended the result to higher dimensions, who showed that every set of points $E$ in a projective space determines at least $|E|$ hyperplanes, unless all the points are contained in a hyperplane. Let $E$ be a spanning subset of a $d$-dimensional vector space. We show that, in the partially ordered set of subspaces spanned by subsets of $E$, there are at least as many $(d-k)$-dimensional subspaces as there are $k$-dimensional subspaces, for every $k$ at most $d/2$. This confirms the "top-heavy" conjecture of Dowling and Wilson for all matroids realizable over some field. The proof relies on the decomposition theorem package for $\ell$-adic intersection complexes.
Asymptotics of Symmetry in Matroids
Published
• View Publication
• BIB
We prove that asymptotically almost all matroids have a trivial automorphism group, or an automorphism group generated by a single transposition. Additionally, we show that asymptotically almost all sparse paving matroids have a trivial automorphism group.
Matroidal Schur Algebras
Published
• View Publication
• BIB
Fix a principal ideal domain $k$. In this article we associate to a (weighted) matroid $M$ a quasi-hereditary algebra $R(M)$ defined over $k$ such that matroid duality corresponds to Ringel duality of quasi-hereditary algebras. The representation theory of these algebras is related to work of Schechtman-Varchenko and Brylawski-Varchenko. In characteristic zero, our algebras are also closely related to work of Kook-Reiner-Stanton and Denham.
Circuit Covers of Cubic Signed Graphs
Published in Journal of Graph Theory (2018)
• View Publication
• BIB
A signed graph is a graph $G$ associated with a mapping $σ: E(G)\to \{-1,+1\}$, denoted by $(G,σ)$. A $cycle$ of $(G,σ)$ is a connected 2-regular subgraph. A cycle $C$ is $positive$ if it has an even number of negative edges, and negative otherwise. A $circuit$ of of a signed graph $(G,σ)$ is a positive cycle or a barbell consisting of two edge-disjoint negative cycles joined by a path. The definition of a circuit of signed graph comes from the signed-graphic matroid. A circuit cover of $(G,σ)$ is a family of circuits covering all edges of $(G,σ)$. A circuit cover with the smallest total length is called a shortest circuit cover of $(G,σ)$ and its length is denoted by $\text{scc}(G,σ)$. Bouchet proved that a signed graph with a circuit cover if and only if it is flow-admissible (i.e., has a nowhere-zero integer flow). Máčajová et. al. show that a 2-edge-connected signed graph $(G,σ)$ has $\text{scc}(G,σ)\le 9 |E(G)|$ if it is flow-admissible. This bound was improved recently by Cheng et. al. to $\text{scc}(G,σ) \le 11|E(G)|/3$ for 2-edge-connected signed graphs with even negativeness, and particularly, $\text{scc}(G,σ)\le 3|E(G)|+ε(G,σ)/3$ for 2-edge-connected cubic signed graphs with even negativeness (where $ε(G,σ)$ is the negativeness of $(G,σ)$). In this paper, we show that every 2-edge-connected cubic signed graph has $\text{scc}(G,σ)\le 26|E(G)|/9$ if it is flow-admissible, and $\text{scc}(G,σ)\le 23|E(G)|/9$ if it has even negativeness.
The excluded minors for the class of matroids that are graphic or bicircular lift
Published
• View Publication
• BIB
Bicircular lift matroids are a class of matroids defined on the edge set of a graph. For a given graph $G$, the circuits of its bicircular lift matroid $L(G)$ are the edge sets of those subgraphs of $G$ that contain at least two cycles, and are minimal with respect to this property. For each cycle $C$ of $G$, since $L(G)/C$ is graphic and most graphic matroids are not bicircular lift, the class of bicircular lift matroids is not minor-closed. In this paper, we prove that the class of matroids that are graphic or bicircular lift has a finite list of excluded minors.
Harder-Narasimhan theory for linear codes
Published
• View Publication
• BIB
In this text we develop some aspects of Harder-Narasimhan theory, slopes, semistability and canonical filtration, in the setting of combinatorial lattices. Of noticeable importance is the Harder-Narasimhan structure associated to a Galois connection between two lattices. It applies, in particular, to matroids.
We then specialize this to linear codes. This could be done from at least three different approaches: using the sphere-packing analogy, or the geometric view, or the Galois connection construction just introduced. A remarkable fact is that these all lead to the same notion of semistability and canonical filtration. Relations to previous propositions towards a classification of codes, and to Wei's generalized Hamming weight hierarchy, are also discussed.
Last, we study the important question of the preservation of semistability (or more generally the behaviour of slopes) under duality, and under tensor product. The former essentially follows from Wei's duality theorem for higher weights---and its matroid version---which we revisit in an appendix, developing analogues of the Riemann-Roch, Serre duality, Clifford, and gap and gonality sequence theorems for codes. Likewise the latter is closely related to the bound on higher weights of a tensor product, conjectured by Wei and Yang, and proved by Schaathun in the geometric language, which we reformulate directly in terms of codes. From this material we then derive semistability of tensor product.
Global rigidity of 2-dimensional direction-length frameworks with connected rigidity matroids
Published
• View Publication
• BIB
A two-dimensional direction-length framework $(G,p)$ consists of a multigraph $G=(V;D,L)$ whose edge set is formed of "direction" edges $D$ and "length" edges $L$, and a realisation $p$ of this graph in the plane. The edges of the framework represent geometric constraints: length edges fix the distance between their endvertices, whereas direction edges specify the gradient of the line through both endvertices. A direction-length framework $(G,p)$ is globally rigid if every framework $(G,q)$ which satisfies the same direction and length constraints as $(G,p)$ can be obtained by translating $(G,p)$ in the plane, and/or rotating $(G,p)$ by $180^{\circ}$.
In this paper, we characterise global rigidity for generic direction-length frameworks whose associated rigidity matroid is connected, by showing that such frameworks are globally rigid if and only if every 2-separation of the underlying graph is direction-balanced.
Multiple Exchange Property for M$^\natural$-concave Functions and Valuated Matroids
Published
• View Publication
• BIB
The multiple exchange property for matroid bases is generalized for valuated matroids and M$^\natural$-concave set functions. The proof is based on the Fenchel-type duality theorem in discrete convex analysis. The present result has an implication in economics: The strong no complementarities (SNC) condition of Gul and Stacchetti is in fact equivalent to the gross substitutes (GS) condition of Kelso and Crawford.
Biased Graphs. VI. Synthetic Geometry
Published in European J. Combinatorics, 81 (2019), 119-141
• Search Publication
A biased graph is a graph with a class of selected circles ("cycles", "circuits"), called balanced, such that no theta subgraph contains exactly two balanced circles. A biased graph $Ω$ has two natural matroids, the frame matroid $G(Ω)$, and the lift matroid $L(Ω)$, and their extensions the full frame matroid $G^{{}^{{}_{{}_\bullet}}\!}(Ω)$ and the extended (or complete) lift matroid $L_0(Ω)$. In Part IV we used algebra to study the representations of these matroids by vectors over a skew field and the corresponding embeddings in Desarguesian projective spaces. Here we redevelop those representations, independently of Part IV and in greater generality, by using synthetic geometry.
Internally $4$-connected binary matroids with every element in three triangles
Published
• View Publication
• BIB
Let $M$ be an internally $4$-connected binary matroid with every element in three triangles. Then $M$ has at least four elements $e$ such that si$(M/e)$ is internally 4-connected.
Quasi-matroidal classes of ordered simplicial complexes
Published
• View Publication
• BIB
We introduce the notion of a quasi-matroidal class of ordered simplicial complexes: an approximation to the idea of a matroid cryptomorphism in the landscape of ordered simplicial complexes. A quasi-matroidal class contains pure shifted simplicial complexes and ordered matroid independence complexes. The essential property is that if a fixed simplicial complex belongs to this class for every ordering of its vertex set, then it is a matroid independence complex. Some examples of such classes appear implicitly in the matroid theory literature. We introduce various such classes that highlight different apsects of matroid theory and its similarities with the theory of shifted simplicial complexes. For example, we lift the study of objects like the Tutte polynomial and nbc complexes to a quasi-matroidal class that allows us to define such objects for shifted complexes. Furthermore, some of the quasi-matroidal classes are amenable to inductive techniques that can't be applied directly in the context of matroid theory. As an example, we provide a suitable setting to reformulate and extend conjecture of Stanley about $h$-vectors of matroids which is expected to be tractable with techniques that are out of reach for matroids alone. This new conjecture holds for pure shifted simplicial complexes and matroids of rank up to 4.
Matroid basis graph: Counting Hamiltonian cycles
Published
• View Publication
• BIB
We present exponential and super factorial lower bounds on the number of Hamiltonian cycles passing through any edge of the basis graphs of a graphic, generalized Catalan and uniform matroids. All lower bounds were obtained by a common general strategy based on counting appropriated cycles of length four in the corresponding matroid basis graph.
Towards a Splitter Theorem for Internally $4$-connected Binary Matroids VI
Published
• View Publication
• BIB
Let $M$ be a $3$-connected binary matroid; $M$ is called internally $4$-connected if one side of every $3$-separation is a triangle or a triad, and $M$ is $(4,4,S)$-connected if one side of every $3$-separation is a triangle, a triad, or a $4$-element fan. Assume $M$ is internally $4$-connected and that neither $M$ nor its dual is a cubic Möbius or planar ladder or a certain coextension thereof. Let $N$ be an internally $4$-connected proper minor of $M$. Our aim is to show that $M$ has a proper internally $4$-connected minor with an $N$-minor that can be obtained from $M$ either by removing at most four elements, or by removing elements in an easily described way from a special substructure of $M$. When this aim cannot be met, the earlier papers in this series showed that, up to duality, $M$ has a good bowtie, that is, a pair, $\{x_1,x_2,x_3\}$ and $\{x_4,x_5,x_6\}$, of disjoint triangles and a cocircuit, $\{x_2,x_3,x_4,x_5\}$, where $M\backslash x_3$ has an $N$-minor and is $(4,4,S)$-connected. We also showed that, when $M$ has a good bowtie, either $M\backslash x_3,x_6$ has an $N$-minor; or $M\backslash x_3/x_2$ has an $N$-minor and is $(4,4,S)$-connected. In this paper, we show that, when $M\backslash x_3,x_6$ has an $N$-minor but is not $(4,4,S)$-connected, $M$ has an internally $4$-connected proper minor with an $N$-minor that can be obtained from $M$ by removing at most three elements, or by removing elements in a well-described way from one of several special substructures of $M$. This is a significant step towards obtaining a splitter theorem for the class of internally $4$-connected binary matroids.
Towards a Splitter Theorem for Internally $4$-connected Binary Matroids VII
Published
• View Publication
• BIB
Let $M$ be a $3$-connected binary matroid; $M$ is internally $4$-connected if one side of every $3$-separation is a triangle or a triad, and $M$ is $(4,4,S)$-connected if one side of every $3$-separation is a triangle, a triad, or a $4$-element fan. Assume $M$ is internally $4$-connected and that neither $M$ nor its dual is a cubic Möbius or planar ladder or a certain coextension thereof. Let $N$ be an internally $4$-connected proper minor of $M$. Our aim is to show that $M$ has a proper internally $4$-connected minor with an $N$-minor that can be obtained from $M$ either by removing at most four elements, or by removing elements in an easily described way from a special substructure of $M$. When this aim cannot be met, the earlier papers in this series showed that, up to duality, $M$ has a good bowtie, that is, a pair, $\{x_1,x_2,x_3\}$ and $\{x_4,x_5,x_6\}$, of disjoint triangles and a cocircuit, $\{x_2,x_3,x_4,x_5\}$, where $M\backslash x_3$ has an $N$-minor and is \ffsc. We also showed that, when $M$ has a good bowtie, either $M\backslash x_3,x_6$ has an $N$-minor and $M\backslash x_6$ is $(4,4,S)$-connected; or $M\backslash x_3/x_2$ has an $N$-minor and is \ffsc. In this paper, we show that, when $M\backslash x_3,x_6$ has no $N$-minor, $M$ has an internally $4$-connected proper minor with an $N$-minor that can be obtained from $M$ by removing at most three elements, or by removing elements in a well-described way from a special substructure of $M$. This is the penultimate step towards obtaining a splitter theorem for the class of internally $4$-connected binary matroids.
Matroids from hypersimplex splits
Published in Journal of Combinatorial Theory. Series A, 151 (2017) 254-284
• View Publication
• BIB
A class of matroids is introduced which is very large as it strictly contains all paving matroids as special cases. As their key feature these split matroids can be studied via techniques from polyhedral geometry. It turns out that the structural properties of the split matroids can be exploited to obtain new results in tropical geometry, especially on the rays of the tropical Grassmannians.
Vectors of matroids over tracts
Published
• View Publication
• BIB
We enrich Baker and Bowler's theory of matroids over tracts with notions of vectors and covectors. In the case of oriented matroids, these $F$-vectors and $F$-covectors coincide with the usual signed vectors and signed covectors. In the case of matroids over a field $F$, the $F$-covector set resp. $F$-vector set of an $F$-matroid is a linear subspace of $F^E$ resp. its orthogonal complement.