matroid ↗ reference
2156 papers tagged with this keyword
A Method to construct the Sparse-paving Matroids over a Finite Set
In this work we present an algorithm to construct sparse-paving matroids over finite set $S$. From this algorithm we derive some useful bounds on the cardinality of the set of circuits of any Sparse-Paving matroids which allow us to prove in a simple way an asymptotic relation between the class of Sparse-paving matroids and the whole class of matroids. Additionally we introduce a matrix based method which render an explicit partition of the $r$-subsets of $S$, $\binom{S}{r}=\sqcup_{i=1}^{γ}\mathcal{U}_{i}$ such that each $\mathcal{U}_{i}$ defines a sparse-paving matroid of rank $r$.
Non-Planar On-Shell Diagrams
Published
• View Publication
• BIB
We initiate a systematic study of non-planar on-shell diagrams in N=4 SYM and develop powerful technology for doing so. We introduce canonical variables generalizing face variables, which make the dlog form of the on-shell form explicit. We make significant progress towards a general classification of arbitrary on-shell diagrams by means of two classes of combinatorial objects: generalized matching and matroid polytopes. We propose a boundary measurement that connects general on-shell diagrams to the Grassmannian. Our proposal exhibits two important and non-trivial properties: positivity in the planar case and it matches the combinatorial description of the diagrams in terms of generalized matroid polytopes. Interestingly, non-planar diagrams exhibit novel phenomena, such as the emergence of constraints on Plucker coordinates beyond Plucker relations when deleting edges, which are neatly captured by the generalized matching and matroid polytopes. This behavior is tied to the existence of a new type of poles in the on-shell form at which combinations of Plucker coordinates vanish. Finally, we introduce a prescription, applicable beyond the MHV case, for writing the on-shell form as a function of minors directly from the graph.
Catalan matroid decompositions of certain positroids
A positroid is the matroid of a matrix whose maximal minors are all nonnegative. Given a permutation $w$ in $S_n$, the matroid of a generic $n \times n$ matrix whose non-zero entries in row $i$ lie in columns $w(i)$ through $n+i$ is an example of a positroid. We enumerate the bases of such a positroid as a sum of certain products of Catalan numbers, each term indexed by the $123$-avoiding permutations above $w$ in Bruhat order. We also give a similar sum formula for their Tutte polynomials. These are both avatars of a structural result writing such a positroid as a disjoint union of matroids, each isomorphic to a direct sum of Catalan matroids and a matroid with one basis.
When Does an Ensemble of Matrices with Randomly Scaled Rows Lose Rank?
Published
• View Publication
• BIB
We consider the problem of determining rank loss conditions for a concatenation of full-rank matrices, such that each row of the composing matrices is scaled by a random coefficient. This problem has applications in wireless interference management and recommendation systems. We determine necessary and sufficient conditions for the design of each matrix, such that the random ensemble will almost surely lose rank by a certain amount. The result is proved by converting the problem to determining rank loss conditions for the union of some specific matroids, and then using tools from matroid and graph theories to derive the necessary and sufficient conditions. As an application, we discuss how this result can be applied to the problem of topological interference management, and characterize the linear symmetric degrees of freedom for a class of network topologies.
First order convergence of matroids
The model theory based notion of the first order convergence unifies the notions of the left-convergence for dense structures and the Benjamini-Schramm convergence for sparse structures. It is known that every first order convergent sequence of graphs with bounded tree-depth can be represented by an analytic limit object called a limit modeling. We establish the matroid counterpart of this result: every first order convergent sequence of matroids with bounded branch-depth representable over a fixed finite field has a limit modeling, i.e., there exists an infinite matroid with the elements forming a probability space that has asymptotically the same first order properties. We show that neither of the bounded branch-depth assumption nor the representability assumption can be removed.
Lattice 3-polytopes with six lattice points
Published in SIAM J. Discrete Math. 30(2) (2016) , 687-717
• View Publication
• BIB
We classify lattice $3$-polytopes of width larger than one and with exactly $6$ lattice points. We show that there are $74$ polytopes of width $2$, two polytopes of width $3$, and none of larger width. We give explicit coordinates for representatives of each class, together with other invariants such as their oriented matroid (or order type) and volume vector. For example, according to the number of interior points these $76$ polytopes divide into $23$ tetrahedra with two interior points (clean tetrahedra), $49$ polytopes with one interior point (the $49$ canonical three-polytopes with five boundary points previously classified by Kasprzyk) and only $4$ hollow polytopes.
We also give a complete classification of three-polytopes of width one with $6$ lattice points. In terms of the oriented matroid of these six points, they lie in eight infinite classes and twelve individual polytopes.
Our motivation comes partly from the concept of distinct pair sum (or dps) polytopes, which, in dimension $3$, can have at most $8$ lattice points. Among the $74+2$ classes mentioned above, exactly $44 + 1$ are dps.
Coloring games and algebraic problems on matroids
This thesis is basically devoted to matroids -- fundamental structure of combinatorial optimization -- though some of our results concern simplicial complexes, or Euclidean spaces. We study old and new problems for these structures, with combinatorial, algebraic, and topological flavor.
Towards a splitter theorem for internally 4-connected binary matroids VIII: small matroids
Published
• View Publication
• BIB
Our splitter theorem for internally 4-connected binary matroids studies pairs of the form (M,N), where N and M are internally 4-connected binary matroids, M has a proper N-minor, and if M' is an internally 4-connected matroid such that M has a proper M'-minor and M' has an N-minor, then |E(M)|-|E(M')|>3. The analysis in the splitter theorem requires the constraint that |E(M)|>15. In this article, we complement that analysis by using an exhaustive computer search to find all such pairs satisfying |E(M)|<16.
On the Combinatorics of Locally Repairable Codes via Matroid Theory
Published
• View Publication
• BIB
This paper provides a link between matroid theory and locally repairable codes (LRCs) that are either linear or more generally almost affine. Using this link, new results on both LRCs and matroid theory are derived. The parameters $(n,k,d,r,δ)$ of LRCs are generalized to matroids, and the matroid analogue of the generalized Singleton bound in [P. Gopalan et al., "On the locality of codeword symbols," IEEE Trans. Inf. Theory] for linear LRCs is given for matroids. It is shown that the given bound is not tight for certain classes of parameters, implying a nonexistence result for the corresponding locally repairable almost affine codes, that are coined perfect in this paper.
Constructions of classes of matroids with a large span of the parameters $(n,k,d,r,δ)$ and the corresponding local repair sets are given. Using these matroid constructions, new LRCs are constructed with prescribed parameters. The existence results on linear LRCs and the nonexistence results on almost affine LRCs given in this paper strengthen the nonexistence and existence results on perfect linear LRCs given in [W. Song et al., "Optimal locally repairable codes," IEEE J. Sel. Areas Comm.].
Yes, the "missing axiom" of matroid theory is lost forever
Published
• View Publication
• BIB
We prove there is no sentence in the monadic second-order language MS0 that characterises when a matroid is representable over at least one field, and no sentence that characterises when a matroid is K-representable, for any infinite field K. By way of contrast, because Rota's Conjecture is true, there is a sentence that characterises F-representable matroids, for any finite field F.
Growth rate of binary matroids with no $P_9^*$-minor
We prove that the non-regular binary matroids with no $P_9^*$-minor have linear growth rate and the maximum size binary matroids with no $P_9^*$-minor are graphic. The main technique in the proof is the Strong Splitter Theorem using which we find the precise infinite families of 3-connected binary matroids with no $P_9^*$-minor.
The Kazhdan-Lusztig polynomial of a matroid
Published
• View Publication
• BIB
We associate to every matroid M a polynomial with integer coefficients, which we call the Kazhdan-Lusztig polynomial of M, in analogy with Kazhdan-Lusztig polynomials in representation theory. We conjecture that the coefficients are always non-negative, and we prove this conjecture for representable matroids by interpreting our polynomials as intersection cohomology Poincare polynomials. We also introduce a q-deformation of the Mobius algebra of M, and use our polynomials to define a special basis for this deformation, analogous to the canonical basis of the Hecke algebra. We conjecture that the structure coefficients for multiplication in this special basis are non-negative, and we verify this conjecture in numerous examples.
An Upper Bound on the Size of Obstructions for Bounded Linear Rank-Width
We provide a doubly exponential upper bound in $p$ on the size of forbidden pivot-minors for symmetric or skew-symmetric matrices over a fixed finite field $\mathbb{F}$ of linear rank-width at most $p$. As a corollary, we obtain a doubly exponential upper bound in $p$ on the size of forbidden vertex-minors for graphs of linear rank-width at most $p$. This solves an open question raised by Jeong, Kwon, and Oum [Excluded vertex-minors for graphs of linear rank-width at most $k$. European J. Combin., 41:242--257, 2014]. We also give a doubly exponential upper bound in $p$ on the size of forbidden minors for matroids representable over a fixed finite field of path-width at most $p$.
Our basic tool is the pseudo-minor order used by Lagergren [Upper Bounds on the Size of Obstructions and Interwines, Journal of Combinatorial Theory Series B, 73:7--40, 1998] to bound the size of forbidden graph minors for bounded path-width. To adapt this notion into linear rank-width, it is necessary to well define partial pieces of graphs and merging operations that fit to pivot-minors. Using the algebraic operations introduced by Courcelle and Kanté, and then extended to (skew-)symmetric matrices by Kanté and Rao, we define boundaried $s$-labelled graphs and prove similar structure theorems for pivot-minor and linear rank-width.
Detecting minors in matroids through triangles
Published
• View Publication
• BIB
In this note we investigate some matroid minor structure results. In particular, we present sufficient conditions, in terms of {\em triangles}, for a matroid to have either $U_{2,4}$ or $F_7$ or $M(K_5)$ as a minor.
List coloring of matroids and base exchange properties
Published in European Journal of Combinatorics 49 (2015), 265-268
• View Publication
• BIB
A coloring of a matroid is an assignment of colors to the elements of its ground set. We restrict to proper colorings - those for which elements of the same color form an independent set. Seymour proved that a $k$-colorable matroid is also colorable from any lists of size $k$. We generalize this theorem to the case when lists have still fixed sizes, but not necessarily equal. For any fixed size of lists assignment $\ell$, we prove that, if a matroid is colorable from a particular lists of size $\ell$, then it is colorable from any lists of size $\ell$. This gives an explicit necessary and sufficient condition for a matroid to be list colorable from any lists of a fixed size. As an application, we show how to use our condition to derive several base exchange properties.
Topological cycle matroids of infinite graphs
Published
• View Publication
• BIB
We prove that the topological cycles of an arbitrary infinite graph induce a matroid. This matroid in general is neither finitary nor cofinitary.
On rigidity, orientability and cores of random graphs with sliders
Suppose that you add rigid bars between points in the plane, and suppose that a constant fraction $q$ of the points moves freely in the whole plane; the remaining fraction is constrained to move on fixed lines called sliders. When does a giant rigid cluster emerge? Under a genericity condition, the answer only depends on the graph formed by the points (vertices) and the bars (edges). We find for the random graph $G \in \mathcal{G}(n,c/n)$ the threshold value of $c$ for the appearance of a linear-sized rigid component as a function of $q$, generalizing results of Kasiviswanathan et al. We show that this appearance of a giant component undergoes a continuous transition for $q \leq 1/2$ and a discontinuous transition for $q > 1/2$. In our proofs, we introduce a generalized notion of orientability interpolating between 1- and 2-orientability, of cores interpolating between 2-core and 3-core, and of extended cores interpolating between 2+1-core and 3+2-core; we find the precise expressions for the respective thresholds and the sizes of the different cores above the threshold. In particular, this proves a conjecture of Kasiviswanathan et al. about the size of the 3+2-core. We also derive some structural properties of rigidity with sliders (matroid and decomposition into components) which can be of independent interest.
Hyperbolic polynomials and the Marcus-Spielman-Srivastava theorem
Published
• View Publication
• BIB
Recently Marcus, Spielman and Srivastava gave a spectacular proof of a theorem which implies a positive solution to the Kadison-Singer problem. We extend (and slightly sharpen) this theorem to the realm of hyperbolic polynomials. A benefit of the extension is that the proof becomes coherent in its general form, and fits naturally in the theory of hyperbolic polynomials. We also study the sharpness of the bound in the theorem, and in the final section we describe how the hyperbolic Marcus-Spielman-Srivastava theorem may be interpreted in terms of strong Rayleigh measures. We use this to derive sufficient conditions for a weak half-plane property matroid to have k disjoint bases.
This work is based on notes from a graduate course focused on hyperbolic polynomials and the recent papers of Marcus, Spielman and Srivastava, given by the author at the Royal Institute of Technology (Stockholm) in the fall of 2013.
Highly symmetric matroids, the strong Rayleigh property, and sums of squares
We investigate the strong Rayleigh property of matroids for which the basis enumerating polynomial is invariant under a Young subgroup of the symmetric group on the ground set. In general, the Grace-Walsh-Szegő theorem can be used to simplify the problem. When the Young subgroup has only two orbits, such a matroid is strongly Rayleigh if and only if an associated univariate polynomial has only real roots. When this polynomial is quadratic we get an explicit structural criterion for the strong Rayleigh property. Finally, if one of the orbits has rank two then the matroid is strongly Rayleigh if and only if the Rayleigh difference of any two points on this line is in fact a sum of squares.
Infinite Gammoids: Minors and Duality
Published
• View Publication
• BIB
This sequel to our paper (Infinite gammoids, 2014) considers minors and duals of infinite gammoids. We prove that a class of gammoids definable by digraphs not containing a certain type of substructure, called an outgoing comb, is minor-closed. Also, we prove that finite-rank minors of gammoids are gammoids. Furthermore, the topological gammoids introduced by Carmesin (Topological infinite gammoids, and a new Menger-type theorem for infinite graphs, 2014) are proved to coincide, as matroids, with the finitary gammoids. A corollary is that topological gammoids are minor-closed. It is a well-known fact that the dual of any finite strict gammoid is a transversal matroid. The class of alternating-comb-free strict gammoids, introduced in the prequel, contains examples which are not dual to any transversal matroid. However, we describe the duals of matroids in this class as a natural extension of transversal matroids. While finite gammoids are closed under duality, we construct a strict gammoid that is not dual to any gammoid.