For a simplicial complex or more generally Boolean cell complex $Δ$ we study the behavior of the $f$- and $h$-vector under barycentric subdivision. We show that if $Δ$ has a non-negative $h$-vector then the $h$-polynomial of its barycentric subdivision has only simple and real zeros. As a consequence this implies a strong version of the Charney-Davis conjecture for spheres that are the subdivision of a Boolean cell complex.
For a general $(d-1)$-dimensional simplicial complex $Δ$ the $h$-polynomial of its $n$-th iterated subdivision shows convergent behavior. More precisely, we show that among the zeros of this $h$-polynomial there is one converging to infinity and the other $d-1$ converge to a set of $d-1$ real numbers which only depends on $d$.
We prove that the $γ$-vector of the barycentric subdivision of a simplicial sphere is the $f$-vector of a balanced simplicial complex. The combinatorial basis for this work is the study of certain refinements of Eulerian numbers used by Brenti and Welker to describe the $h$-vector of the barycentric subdivision of a boolean complex.
Let $F$ be a discrete Morse function on a simplicial complex $L$. We construct a discrete Morse function $Δ(F)$ on the barycentric subdivision $Δ(L)$. The constructed function $Δ(F)$ "behaves the same way" as $F$, i. e. has the same number of critical simplexes and the same gradient path structure.
The lth partial barycentric subdivision is defined for a (d-1)-dimensional simplicial complex Δand studied along with its combinatorial, geometric and algebraic aspects. We analyze the behavior of the f- and h-vector under the lth partial barycentric subdivision extending previous work of Brenti and Welker on the standard barycentric subdivision -- the case l = 1. We discuss and provide properties of the transformation matrices sending the f- and h-vector of Δto the f- and h-vector of its lth partial barycentric subdivision. We conclude with open problems.
The $h$-polynomial of the barycentric subdivision of any $n$-dimensional cubical complex with nonnegative cubical $h$-vector is shown to have only real roots and to be interlaced by the Eulerian polynomial of type $B_n$. This result applies to barycentric subdivisions of shellable cubical complexes and, in particular, to barycentric subdivisions of cubical convex polytopes and answers affirmatively a question of Brenti, Mohammadi and Welker.
The cubical barycentric subdivision sd_c(K) of a cubical complex K is introduced as an analogue of the barycentric subdivision of a simplicial complex. Explicit formulas for the short and long cubical h-vector of sd_c(K) are given, in terms of those of K. It is deduced that symmetry and nonnegativity of these h-vectors, as well as real rootedness of the short cubical h-polynomial, are preserved under cubical barycentric subdivision. The asymptotic behavior of the short and long cubical h-vectors of successive cubical barycentric subdivisions of K is also determined.
In this paper, we answer two questions on local $h$-vectors, which were asked by Athanasiadis. First, we characterize all possible local $h$-vectors of quasi-geometric subdivisions of a simplex. Second, we prove that the local $γ$-vector of the barycentric subdivision of any CW-regular subdivision of a simplex is nonnegative. Along the way, we derive a new recurrence formula for the derangement polynomials.
We study the limiting behavior of the zeros of the zeta series of a finite poset under iterated barycentric subdivision, and we indicate the possibility of its application to number theory.
A classical question in PL topology, asked among others by Hudson, Lickorish, and Kirby, is whether every linear subdivision of the d-simplex is simplicially collapsible. The answer is known to be positive for d<4. We solve the problem up to one subdivision, by proving that any linear subdivision of any polytope is simplicially collapsible after at most one barycentric subdivision. Furthermore, we prove that any linear subdivision of any star-shaped polyhedron in $\mathbb{R}^d$ is simplicially collapsible after d-2 derived subdivisions at most. This presents progress on an old question by Good…
We show that an 'almost strong Lefschetz' property holds for the barycentric subdivision of a shellable complex. From this we conclude that for the barycentric subdivision of a Cohen-Macaulay complex, the $h$-vector is unimodal, peaks in its middle degree (one of them if the dimension of the complex is even), and that its $g$-vector is an $M$-sequence. In particular, the (combinatorial) $g$-conjecture is verified for barycentric subdivisions of homology spheres. In addition, using the above algebraic result, we derive new inequalities on a refinement of the Eulerian statistics on permutations,…
For a simplicial complex $Δ$ we study the effect of barycentric subdivision on ring theoretic invariants of its Stanley-Reisner ring. In particular, for Stanley-Reisner rings of barycentric subdivisions we verify a conjecture by Huneke and Herzog & Srinivasan, that relates the multiplicity of a standard graded $k$-algebra to the product of the maximal and minimal shifts in its minimal free resolution up to the height. On the way to proving the conjecture we develop new and list well known results on behavior of dimension, Hilbert series, multiplicity, local cohomology, depth and regularity whe…
Brenti and Welker have shown that for any simplicial complex X, the face vectors of successive barycentric subdivisions of X have roots which converge to fixed values depending only on the dimension of X. We improve and generalize this result here. We begin with an alternative proof based on geometric intuition. We then prove an interesting symmetry of these roots about the real number -2. This symmetry can be seen via a nice algebraic realization of barycentric subdivision as a simple map on formal power series in two variables. Finally, we use this algebraic machinery with some geometric mot…
The derangement polynomial for the symmetric group enumerates derangements by the number of excedances. It can be interpreted as the local $h$-polynomial, in the sense of Stanley, of the barycentric subdivision of the simplex. Motivated by this interpretation, we define a derangement polynomial for the even-signed permutation group. The coefficients of this polynomial are nonnegative, symmetric and unimodal. We show that they enumerate derangements in the even-signed permutation group according to a notion of excedance, which is analogous to the one introduced by Brenti for signed permutations…
Fault-tolerant metric basis and dimension of barycentric subdivision of zero divisor graphs
Manipal Institute of Technology, Manipal Academy of Higher Education（马尼帕尔高等教育学院，马尼帕尔理工学院）；School of Mathematics, Shri Mata Vaishno Devi University（湿婆玛塔瓦什诺德维大学数学学院）
Metric Bases of Barycentric and Matching Subdivisions of Zero-Divisor Graphs
Manipal Institute of Technology, Manipal Academy of Higher Education（马尼帕尔高等教育局马尼帕尔技术学院）；School of Mathematics and Statistics, Shandong University of Technology（山东理工大学数学与统计学院）；Centre for Research Impact & Outcome, Chitkara University Institute of Engineering and TechnologyChitkara University（奇塔克拉大学工程与技术学院研究影响与成果中心）
Inspired by recent results of Ein, Lazarsfeld, Erman and Zhou on the non-vanishing of Betti numbers of high Veronese subrings, we describe the behaviour of the Betti numbers of Stanley-Reisner rings associated with iterated barycentric or edgewise subdivisions of a given simplicial complex. Our results show that for a simplicial complex $Δ$ of dimension $d-1$ and for $1\leq j\leq d-1$ the number of $0$'s the j-th linear strand of the minimal free resolution of the r-th barycentric or edgewise subdivision is bounded above only in terms of $d$ and $j$ (and independently of $r$).
The coefficients of the local $h$-polynomial of the barycentric subdivision of the simplex with $n$ vertices are known to count derangements in the symmetric group $\mathfrak{S}_n$ by the number of excedances. A generalization of this interpretation is given for the local $h$-polynomial of the $r$th edgewise subdivision of the barycentric subdivision of the simplex. This polynomial is shown to be $γ$-nonnegative and a combinatorial interpretation to the corresponding $γ$-coefficients is provided. The new combinatorial interpretations involve the notions of flag excedance and descent in the wre…
We introduce canonical measures on a locally finite simplicial complex $K$ and study their asymptotic behavior under infinitely many barycentric subdivisions. We also compute the face polynomial of the asymptotic link and dual block of a simplex in the $d^{th}$ barycentric subdivision $Sd^d(K)$ of $K$, $d\gg0$. It is almost everywhere constant. When $K$ is finite, we study the limit face polynomial of $Sd^d(K)$ after F.Brenti-V.Welker and E.Delucchi-A.Pixton-L.Sabalka.
From the topological viewpoint, Morse shellings of finite simplicial complexes are {\it pinched} handle decompositions and extend the classical shellings. We prove that every discrete Morse function on a finite simplicial complex induces Morse shellings on its second barycentric subdivision whose critical tiles-or pinched handles-are in oneto-one correspondence with the critical faces of the function, preserving the index. The same holds true, given any smooth Morse function on a closed manifold, for any piecewise-linear triangulation on it after sufficiently many barycentric subdivisions.
The cluster complex $Δ(Φ)$ is an abstract simplicial complex, introduced by Fomin and Zelevinsky for a finite root system $Φ$. The positive part of $Δ(Φ)$ naturally defines a simplicial subdivision of the simplex on the vertex set of simple roots of $Φ$. The local $h$-vector of this subdivision, in the sense of Stanley, is computed and the corresponding $γ$-vector is shown to be nonnegative. Combinatorial interpretations to the entries of the local $h$-vector and the corresponding $γ$-vector are provided for the classical root systems, in terms of noncrossing partitions of types $A$ and $B$. A…
For a poset $P$ and an integer $r\geq 1$, let $P_r$ be a collection of all $r$-multichains in $P$. Corresponding to each strictly increasing map $ı:[r]\rightarrow [2r]$, there is an order $\preceq_ı$ on $P_r$. Let $\D(G_ı(P_r))$ be the clique complex of the graph $G_ı$ associated to $P_r$ and $ı$. In a recent paper \cite{NW}, it is shown that $\D(G_ı(P_r))$ is a subdivision of $P$ for a class of strictly increasing maps. In this paper, we show that all these subdivisions have the same $f$-vector. We give an explicit description of the transformation matrices from the $f$- and $h$-vectors of $Δ…
Let $K$ be a finite simplicial complex. We prove that the normalized expected Betti numbers of a random subcomplex in its $d$-th barycentric subdivision $\text{Sd}^d (K)$ converge to universal limits as $d$ grows to $+ \infty$. In codimension one, we use canonical filtrations of $\text{Sd}^d (K)$ to upper estimate these limits and get a monotony theorem which makes it possible to improve these estimates given any packing of disjoint simplices in $\text{Sd}^d (K)$. We then introduce a notion of tiling of simplicial complexes having the property that skeletons and barycentric subdivisions of til…
In geometric, algebraic, and topological combinatorics, the unimodality of combinatorial generating polynomials is frequently studied. Unimodality follows when the polynomial is (real) stable, a property often deduced via the theory of interlacing polynomials. Many of the open questions on stability and unimodality of polynomials pertain to the enumeration of faces of cell complexes. In this paper, we relate the theory of interlacing polynomials to the shellability of cell complexes. We first derive a sufficient condition for stability of the $h$-polynomial of a subdivision of a shellable comp…
The enumerative theory of simplicial subdivisions (triangulations) of simplicial complexes was developed by Stanley in order to understand the effect of such subdivisions on the $h$-vector of a simplicial complex. A key role there is played by the concept of a local $h$-vector. This paper surveys some of the highlights of this theory and some recent developments, concerning subdivisions of flag homology spheres and their $γ$-vectors. Several interesting examples and open problems are discussed.
In algebraic, topological, and geometric combinatorics inequalities among the coefficients of combinatorial polynomials are frequently studied. Recently a notion called the alternatingly increasing property, which is stronger than unimodality, was introduced. In this paper, we relate the alternatingly increasing property to real-rootedness of the symmetric decomposition of a polynomial to develop a systematic approach for proving the alternatingly increasing property for several classes of polynomials. We apply our results to strengthen and generalize real-rootedness, unimodality, and alternat…
We say that a pure simplicial complex ${\mathbf K}$ of dimension $d$ satisfies the removal-collapsibility condition if ${\mathbf K}$ is either empty or ${\mathbf K}$ becomes collapsible after removing $\tilde β_d ({\mathbf K}; {\mathbb Z}_2)$ facets, where $\tilde β_d ({\mathbf K}; {\mathbb Z}_2)$ denotes the $d$th reduced Betti number. In this paper, we show that if the link of each face of a pure simplicial complex ${\mathbf K}$ (including the link of the empty face which is the whole ${\mathbf K}$) satisfy the removal-collapsibility condition, then the second barycentric subdivision of ${\m…
Face numbers of triangulations of simplicial complexes were studied by Stanley by use of his concept of a local $h$-vector. It is shown that a parallel theory exists for cubical subdivisions of cubical complexes, in which the role of the $h$-vector of a simplicial complex is played by the (short or long) cubical $h$-vector of a cubical complex, defined by Adin, and the role of the local $h$-vector of a triangulation of a simplex is played by the (short or long) cubical local $h$-vector of a cubical subdivision of a cube. The cubical local $h$-vectors are defined in this paper and are shown to …
The $γ$-vector is an important enumerative invariant of a flag simplicial homology sphere. It has been conjectured by Gal that this vector is nonnegative for every such sphere $Δ$ and by Reiner, Postnikov and Williams that it increases when $Δ$ is replaced by any flag simplicial homology sphere which geometrically subdivides $Δ$. Using the nonnegativity of the $γ$-vector in dimension 3, proved by Davis and Okun, as well as Stanley's theory of simplicial subdivisions and local $h$-vectors, the latter conjecture is confirmed in this paper in dimensions 3 and 4.
For any flag simplicial complex $Θ$ obtained by stellar subdividing the boundary of the cross polytope in edges, we define a flag simplicial complex $Γ(Θ)$ (dependent on the sequence of subdivisions) whose $f$-vector is the $γ$-vector of $Θ$. This proves that the $γ$-vector of any such simplicial complex satisfies the Frankl-Füredi-Kalai inequalities, partially solving a conjecture by Nevo and Petersen \cite{np}. We show that when $Θ$ is the dual simplicial complex to a nestohedron, and the sequence of subdivisions corresponds to a flag ordering as defined in \cite{ai}, that $Γ(Θ)$ is equal to…
The interval subdivision Int$(Δ)$ of a simplicial complex $Δ$ was introduced by Walker. We give the complete combinatorial description of the entries of the transformation matrices from the $f$- and $h$-vectors of $Δ$ to the $f$- and $h$-vectors of Int$(Δ)$. We show that if $Δ$ has non-negative $h$-vector then the $h$-polynomial of its interval subdivision has only real roots. As a consequence, we prove the Charney-Davis conjecture for Int$(Δ)$, if $Δ$ has non-negative reciprocal $h$-vector.
We consider a finite simplicial complex $K$ together with its successive barycentric subdivisions $Sd^d(K), d\geq0,$ and study the expected topology of a random subcomplex in $Sd^d(K), d\gg0$. We get asymptotic upper and lower bounds for the expected Betti numbers of those subcomplexes, together with the average Morse inequalities and expected Euler characteristic.
The antiprism triangulation provides a natural way to subdivide a simplicial complex $Δ$, similar to barycentric subdivision, which appeared independently in combinatorial algebraic topology and computer science. It can be defined as the simplicial complex of chains of multi-pointed faces of $Δ$, from a combinatorial point of view, and by successively applying the antiprism construction, or balanced stellar subdivisions, on the faces of $Δ$, from a geometric point of view. This paper studies enumerative invariants associated to this triangulation, such as the transformation of the $h$-vector o…
We present extremal constructions connected with the property of simplicial collapsibility. (1) For each $d \ge 2$, there are collapsible (and shellable) simplicial $d$-complexes with only one free face. Also, there are non-evasive $d$-complexes with only two free faces. (Both results are optimal in all dimensions.) (2) Optimal discrete Morse vectors need not be unique. We explicitly construct a contractible, but non-collapsible $3$-dimensional simplicial complex with face vector $f=(106,596,1064,573)$ that admits two distinct optimal discrete Morse vectors, $(1,1,1,0)$ and $(1,0,1,1)$. Indeed…
This thesis aims to give the reader an introduction and overview of the cd-index of a poset, as well as establish some new results. We give a combinatorial proof of Ehrenborg and Karu's cd-index subdivision decomposition for Gorenstein* complexes and extend it to a wider class of subdivisions. In doing so, we define a local cd-index that behaves analogously to the well studied local h-vector. We examine known cd-index and h-vector bounds, and then use the local cd-index to bound a particular class of polytopes with the cd-index of a stacked polytope. We conclude by investigating the h-vector a…
We recently defined a property of Morse shellability (and tileability) of finite simplicial complexes which extends the classical one and its relations with discrete Morse theory. We now prove that the product of two Morse tileable or shellable simplicial complexes carries Morse tileable or shellable triangulations under some tameness condition, and that any tiling or shelling becomes tame after one barycentric subdivision. We deduce that any finite product of closed manifolds of dimensions less than four carries Morse shellable triangulations whose critical and h-vectors are palindromic. We a…
A triangulation of a simplicial complex $Δ$ is called uniform if the $f$-vector of its restriction to a face of $Δ$ depends only on the dimension of that face. This paper proves that the entries of the $h$-vector of a uniform triangulation of $Δ$ can be expressed as nonnegative integer linear combinations of those of the $h$-vector of $Δ$, where the coefficients depend only on the dimension of $Δ$ and the $f$-vectors of the restrictions of the triangulation to simplices of various dimensions. Moreover, it provides information about these coefficients, including formulas, recurrence relations a…
There are natural polynomial invariants of polytopes and lattice polytopes coming from enumerative combinatorics and Ehrhart theory, namely the $h$- and $h^*$-polynomials, respectively. In this paper, we study their generalization to subdivisions and lattice subdivisions of polytopes. By abstracting constructions in mixed Hodge theory, we introduce multivariable polynomials which specialize to the $h$-, $h^*$- polynomials. These polynomials, the mixed $h$-polynomial and the (refined) limit mixed $h^*$-polynomial have rich symmetry, non-negativity, and unimodality properties, which both refine …
An h-tiling on a finite simplicial complex is a partition of its geometric realization by maximal simplices deprived of several codimension one faces together with possibly their remaining face of highest codimension. In this last case, the tiles are said to be critical. An h-tiling thus induces a partitioning of its face poset by closed or semi-open intervals. We prove the existence of h-tilings on every finite simplicial complex after finitely many stellar subdivisions at maximal simplices. These tilings are moreover shellable. We also prove that the number of tiles of each type used by a ti…
