-
The $cd$-index of semi-Eulerian posets
Authors:
Martina Juhnke-Kubitzke,
José Alejandro Samper,
Lorenzo Venturello
Abstract:
We generalize the definition of the $cd$-index of an Eulerian poset to the class of semi-Eulerian posets. For simplicial semi-Eulerian Buchsbaum posets, we show that all coefficients of the $cd$-index are non-negative. This proves a conjecture of Novik for odd dimensional manifolds and extends it to the even dimensional case.
We generalize the definition of the $cd$-index of an Eulerian poset to the class of semi-Eulerian posets. For simplicial semi-Eulerian Buchsbaum posets, we show that all coefficients of the $cd$-index are non-negative. This proves a conjecture of Novik for odd dimensional manifolds and extends it to the even dimensional case.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Unbounded matroids
Authors:
Jonah Berggren,
Jeremy L. Martin,
José A. Samper
Abstract:
A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice wit…
▽ More
A matroid base polytope is a polytope in which each vertex has 0,1 coordinates and each edge is parallel to a difference of two coordinate vectors. Matroid base polytopes are described combinatorially by integral submodular functions on a boolean lattice, satisfying the unit increase property. We define a more general class of unbounded matroids, or U-matroids, by replacing the boolean lattice with an arbitrary distributive lattice. U-matroids thus serve as a combinatorial model for polyhedra that satisfy the vertex and edge conditions of matroid base polytopes, but may be unbounded. Like polymatroids, U-matroids generalize matroids and arise as a special case of submodular systems. We prove that every U-matroid admits a canonical largest extension to a matroid, which we call the generous extension; the analogous geometric statement is that every U-matroid base polyhedron contains a unique largest matroid base polytope. We show that the supports of vertices of a U-matroid base polyhedron span a shellable simplicial complex, and we characterize U-matroid basis systems in terms of shelling orders, generalizing Björner's and Gale's criteria for a simplicial complex to be a matroid independence complex. Finally, we present an application of our theory to subspace arrangements and show that the generous extension has a natural geometric interpretation in this setting.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Common tangents to convex bodies
Authors:
Federico Castillo,
Joseph Doolittle,
Jose Alejandro Samper
Abstract:
It is well-known since the time of the Greeks that two disjoint circles in the plane have four common tangent lines. Cappell et al. proved a generalization of this fact for properly separated strictly convex bodies in higher dimensions. We have shown that the same generalization applies for arbitrary convex bodies. When the number of convex sets involved is equal to the dimension, we obtain an alt…
▽ More
It is well-known since the time of the Greeks that two disjoint circles in the plane have four common tangent lines. Cappell et al. proved a generalization of this fact for properly separated strictly convex bodies in higher dimensions. We have shown that the same generalization applies for arbitrary convex bodies. When the number of convex sets involved is equal to the dimension, we obtain an alternative combinatorial proof of Bisztriczky's theorem on the number of common tangents to $d$ separated convex bodies in $\Rr^d$.
△ Less
Submitted 12 July, 2022; v1 submitted 30 August, 2021;
originally announced August 2021.
-
The cone of $5\times 5$ completely positive matrices
Authors:
Max Pfeffer,
Jose Alejandro Samper
Abstract:
We study the cone of completely positive (cp) matrices for the first interesting case $n = 5$. This is a semialgebraic set, which means that the polynomial equalities and inequlities that define its boundary can be derived. We characterize the different loci of this boundary and we examine the two open sets with cp-rank 5 or 6. A numerical algorithm is presented that is fast and able to compute th…
▽ More
We study the cone of completely positive (cp) matrices for the first interesting case $n = 5$. This is a semialgebraic set, which means that the polynomial equalities and inequlities that define its boundary can be derived. We characterize the different loci of this boundary and we examine the two open sets with cp-rank 5 or 6. A numerical algorithm is presented that is fast and able to compute the cp-factorization even for matrices in the boundary. With our results, many new example cases can be produced and several insightful numerical experiments are performed that illustrate the difficulty of the cp-factorization problem.
△ Less
Submitted 1 September, 2021; v1 submitted 26 August, 2021;
originally announced August 2021.
-
Hopf monoids of ordered simplicial complexes
Authors:
Federico Castillo,
Jeremy L. Martin,
Jose A. Samper
Abstract:
We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that give rise to a Hopf monoid under join and deletion/contraction. The prototypical Hopf class is the family of ordered matroids. The idea of a Hopf class allows…
▽ More
We study pure ordered simplicial complexes (i.e., simplicial complexes with a linear order on their ground sets) from the Hopf-theoretic point of view. We define a \textit{Hopf class} to be a family of pure ordered simplicial complexes that give rise to a Hopf monoid under join and deletion/contraction. The prototypical Hopf class is the family of ordered matroids. The idea of a Hopf class allows us to give a systematic study of simplicial complexes related to matroids, including shifted complexes, broken-circuit complexes, and \textit{unbounded matroids} (which arise from unbounded generalized permutohedra with 0/1 coordinates).
We compute the antipodes in two cases: \textit{facet-initial complexes} (a much larger class than shifted complexes) and unbounded ordered matroids. In the latter case, we embed the Hopf monoid of ordered matroids into the Hopf monoid of ordered generalized permutohedra, enabling us to compute the antipode using the topological method of Aguiar and Ardila. The calculation is complicated by the appearance of certain auxiliary simplicial complexes that we call \textit{Scrope complexes}, whose Euler characteristics control certain coefficients of the antipode. The resulting antipode formula is multiplicity-free and cancellation-free.
△ Less
Submitted 23 November, 2020;
originally announced November 2020.
-
Reciprocal maximum likelihood degrees of diagonal linear concentration models
Authors:
Christopher Eur,
Tara Fife,
José Alejandro Samper,
Tim Seynnaeve
Abstract:
We show that the reciprocal maximal likelihood degree (rmld) of a diagonal linear concentration model $\mathcal L \subseteq \mathbb{C}^n$ of dimension $r$ is equal to $(-2)^rχ_M( \textstyle\frac{1}{2})$, where $χ_M$ is the characteristic polynomial of the matroid $M$ associated to $\mathcal L$. In particular, this establishes the polynomiality of the rmld for general diagonal linear concentration…
▽ More
We show that the reciprocal maximal likelihood degree (rmld) of a diagonal linear concentration model $\mathcal L \subseteq \mathbb{C}^n$ of dimension $r$ is equal to $(-2)^rχ_M( \textstyle\frac{1}{2})$, where $χ_M$ is the characteristic polynomial of the matroid $M$ associated to $\mathcal L$. In particular, this establishes the polynomiality of the rmld for general diagonal linear concentration models, positively answering a question of Sturmfels, Timme, and Zwiernik.
△ Less
Submitted 17 May, 2021; v1 submitted 28 November, 2020;
originally announced November 2020.
-
Dual matroid polytopes and internal activity of independence complexes
Authors:
Alexander Heaton,
Jose Alejandro Samper
Abstract:
Shelling orders are a ubiquitous tool used to understand invariants of cell complexes. Significant effort has been made to develop techniques to decide when a given complex is shellable. However, empirical evidence shows that some shelling orders are better than others. In this article, we explore this phenomenon in the case of matroid independence complexes. Based on a new relation between shella…
▽ More
Shelling orders are a ubiquitous tool used to understand invariants of cell complexes. Significant effort has been made to develop techniques to decide when a given complex is shellable. However, empirical evidence shows that some shelling orders are better than others. In this article, we explore this phenomenon in the case of matroid independence complexes. Based on a new relation between shellability of dual matroid polytopes and independence complexes, we outline a systematic way to investigate and compare different shellings orders. We explain how our new tools recast and deepen various classical results to the language of geometry, and suggest new heuristics for addressing two old conjectures due to Simon and Stanley. Furthermore, we present freely available software which can be used to experiment with these new geometric ideas.
△ Less
Submitted 8 May, 2020;
originally announced May 2020.
-
Hopf monoids of ordered simplicial complexes
Authors:
Federico Castillo,
Jeremy Martin,
Jose Alejandro Samper
Abstract:
We study ordered matroids and generalized permutohedra from a Hopf theoretic point of view. Our main object is a Hopf monoid in the vector species of extended generalized permutahedra equipped with an order of the coordinates; this monoid extends the Hopf monoid of generalized permutahedra studied by Aguiar and Ardila. Our formula for the antipode is cancellation-free and multiplicity-free, and is…
▽ More
We study ordered matroids and generalized permutohedra from a Hopf theoretic point of view. Our main object is a Hopf monoid in the vector species of extended generalized permutahedra equipped with an order of the coordinates; this monoid extends the Hopf monoid of generalized permutahedra studied by Aguiar and Ardila. Our formula for the antipode is cancellation-free and multiplicity-free, and is supported only on terms that are compatible with the local geometry of the polyhedron. Our result is part of a larger program to understand orderings on ground sets of simplicial complexes (for instance, on shifted and matroid independence complexes). In this vein, we show that shifted simplicial complexes and broken circuit complexes generate Hopf monoids that are expected to exhibit similar behavior.
△ Less
Submitted 15 April, 2020;
originally announced April 2020.
-
Finiteness theorems for matroid complexes with prescribed topology
Authors:
Federico Castillo,
Jose Alejandro Samper
Abstract:
It is known that there are finitely many simplicial complexes (up to isomorphism) with a given number of vertices. Translating to the language of $h$-vectors, there are finitely many simplicial complexes of bounded dimension with $h_1=k$ for any natural number $k$. In this paper we study the question at the other end of the $h$-vector: Are there only finitely many $(d-1)$-dimensional simplicial co…
▽ More
It is known that there are finitely many simplicial complexes (up to isomorphism) with a given number of vertices. Translating to the language of $h$-vectors, there are finitely many simplicial complexes of bounded dimension with $h_1=k$ for any natural number $k$. In this paper we study the question at the other end of the $h$-vector: Are there only finitely many $(d-1)$-dimensional simplicial complexes with $h_d=k$ for any given $k$? The answer is no if we consider general complexes, but when focus on three cases coming from matroids: (i) independence complexes, (ii) broken circuit complexes, and (iii) order complexes of geometric lattices. We prove the answer is yes in cases (i) and (iii) and conjecture it is also true in case (ii).
△ Less
Submitted 28 September, 2020; v1 submitted 1 September, 2018;
originally announced September 2018.
-
Quasi-matroidal classes of ordered simplicial complexes
Authors:
Jose Alejandro Samper
Abstract:
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 order…
▽ More
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.
△ Less
Submitted 13 August, 2016;
originally announced August 2016.
-
A Geometric Lower Bound Theorem
Authors:
Karim Adiprasito,
Eran Nevo,
José Alejandro Samper
Abstract:
We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C^2-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff dist…
▽ More
We resolve a conjecture of Kalai relating approximation theory of convex bodies by simplicial polytopes to the face numbers and primitive Betti numbers of these polytopes and their toric varieties. The proof uses higher notions of chordality. Further, for C^2-convex bodies, asymptotically tight lower bounds on the g-numbers of the approximating polytopes are given, in terms of their Hausdorff distance from the convex body.
△ Less
Submitted 17 February, 2016; v1 submitted 21 July, 2015;
originally announced July 2015.
-
Higher chordality: From graphs to complexes
Authors:
Karim A. Adiprasito,
Eran Nevo,
Jose A. Samper
Abstract:
We generalize the fundamental graph-theoretic notion of chordality for higher dimensional simplicial complexes by putting it into a proper context within homology theory. We generalize some of the classical results of graph chordality to this generality, including the fundamental relation to the Leray property and chordality theorems of Dirac.
We generalize the fundamental graph-theoretic notion of chordality for higher dimensional simplicial complexes by putting it into a proper context within homology theory. We generalize some of the classical results of graph chordality to this generality, including the fundamental relation to the Leray property and chordality theorems of Dirac.
△ Less
Submitted 28 October, 2015; v1 submitted 18 March, 2015;
originally announced March 2015.
-
The topology of the external activity complex of a matroid
Authors:
Federico Ardila,
Federico Castillo,
Jose Alejandro Samper
Abstract:
We prove that the external activity complex $\textrm{Act}_<(M)$ of a matroid is shellable. In fact, we show that every linear extension of LasVergnas's external/internal order $<_{ext/int}$ on $M$ provides a shelling of $\textrm{Act}_<(M)$. We also show that every linear extension of LasVergnas's internal order $<_{int}$ on $M$ provides a shelling of the independence complex $IN(M)$. As a corollar…
▽ More
We prove that the external activity complex $\textrm{Act}_<(M)$ of a matroid is shellable. In fact, we show that every linear extension of LasVergnas's external/internal order $<_{ext/int}$ on $M$ provides a shelling of $\textrm{Act}_<(M)$. We also show that every linear extension of LasVergnas's internal order $<_{int}$ on $M$ provides a shelling of the independence complex $IN(M)$. As a corollary, $\textrm{Act}_<(M)$ and $M$ have the same $h$-vector. We prove that, after removing its cone points, the external activity complex is contractible if $M$ contains $U_{3,1}$ as a minor, and a sphere otherwise.
△ Less
Submitted 23 October, 2015; v1 submitted 14 October, 2014;
originally announced October 2014.
-
Lexicographic shellability, matroids and pure order ideals
Authors:
Steven Klee,
Jose Alejandro Samper
Abstract:
In 1977 Stanley conjectured that the $h$-vector of a matroid independence complex is a pure $O$-sequence. In this paper we use lexicographic shellability for matroids to motivate a combinatorial strengthening of Stanley's conjecture. This suggests that a pure $O$-sequence can be constructed from combinatorial data arising from the shelling. We then prove that our conjecture holds for matroids of r…
▽ More
In 1977 Stanley conjectured that the $h$-vector of a matroid independence complex is a pure $O$-sequence. In this paper we use lexicographic shellability for matroids to motivate a combinatorial strengthening of Stanley's conjecture. This suggests that a pure $O$-sequence can be constructed from combinatorial data arising from the shelling. We then prove that our conjecture holds for matroids of rank at most four, settling the rank four case of Stanley's conjecture. In general, we prove that if our conjecture holds for all rank $d$ matroids on at most $2d$ elements, then it holds for all matroids.
△ Less
Submitted 8 June, 2014;
originally announced June 2014.