English

Total positivity and two inequalities by Athanasiadis and Tzanaki

Combinatorics 2024-11-05 v2

Abstract

Let Δ\Delta be a (d1)(d-1)-dimensional simplicial complex and hΔ=(h0Δ,,hdΔ)h^ \Delta = (h_0^ \Delta ,\ldots, h_d^ \Delta) its hh-vector. For a face uniform subdivision operation F{\mathcal F} we write ΔF\Delta_{\mathcal F} for the subdivided complex and HFH_{\mathcal F} for the matrix such that hΔF=HFhΔh^ {\Delta_{\mathcal F}} = H_{\mathcal F} h^ \Delta. In connection with the real rootedness of symmetric decompositions Athanasiadis and Tzanaki studied for strictly positive hh-vectors the inequalities h0Δh1Δh1Δhd1ΔhdΔh0Δ\frac{h_0^ \Delta}{h_1^ \Delta} \leq \frac{h_1^\Delta}{h_{d-1}^ \Delta} \leq \cdots \leq \frac{h_d^ \Delta}{h_0^\Delta} and h1Δhd1Δhd2Δh2Δhd1Δh1Δ\frac{h_1^\Delta}{h_{d-1}^\Delta} \geq \cdots \geq \frac{h_{d-2}^\Delta}{h_2^\Delta} \geq \frac{h_{d-1}^\Delta}{h_1^\Delta}. In this paper we show that if the inequalities holds for a simplicial complex Δ\Delta and HFH_{\mathcal F} is TP2_2 (all entries and two minors are non-negative) then the inequalities hold for ΔF\Delta_{\mathcal F}. We prove that if F{\mathcal F} is the barycentric subdivision then HFH_{\mathcal F} is TP2_2. If F{\mathcal F} is the rr\textsuperscript{th}-edgewise subdivision then work of Diaconis and Fulman shows HFH_{\mathcal F} is TP2_2. Indeed in this case by work of Mao and Wang HFH_{\mathcal F} is even TP.

Keywords

Cite

@article{arxiv.2404.03500,
  title  = {Total positivity and two inequalities by Athanasiadis and Tzanaki},
  author = {Lili Mu and Volkmar Welker},
  journal= {arXiv preprint arXiv:2404.03500},
  year   = {2024}
}

Comments

Annals of Combinatorics to appear