Table of Contents
Fetching ...

On a question about real rooted polynomials and f-polynomials of simplicial complexes

Lili Mu, Volkmar Welker

Abstract

For a polynomial $f(t) = 1+f_0t+\cdots +f_{d-1}t^d$ with positive integer coefficients Bell and Skandera ask if real rootedness of f(t) implies that there is a simplicial complex with f-vector $(1,f_0 \ldots,f_{d-1})$. In this paper we discover properties implied by the real rootedness of f(t) in terms of the binomial representation $f_i = \binom{x_{i+1}}{i+1}, i \geq 0$. We use these to provide a sufficient criterion for a positive answer to the question by Bell and Skandera. We also describe two further approaches to the conjecture and use one to verify that some well studied real rooted classical polynomials are f-polynomials. Finally, we provide a series of results showing that the set of f-vectors of simplicial complexes is closed under constructions also preserving real rootedness of their generating polynomials.

On a question about real rooted polynomials and f-polynomials of simplicial complexes

Abstract

For a polynomial with positive integer coefficients Bell and Skandera ask if real rootedness of f(t) implies that there is a simplicial complex with f-vector . In this paper we discover properties implied by the real rootedness of f(t) in terms of the binomial representation . We use these to provide a sufficient criterion for a positive answer to the question by Bell and Skandera. We also describe two further approaches to the conjecture and use one to verify that some well studied real rooted classical polynomials are f-polynomials. Finally, we provide a series of results showing that the set of f-vectors of simplicial complexes is closed under constructions also preserving real rootedness of their generating polynomials.

Paper Structure

This paper contains 7 sections, 14 theorems, 33 equations.

Key Result

Theorem 2.1

Let $f=(1, f_0,\dots,f_{d-1})$ be a vector of positive integers. Then

Theorems & Definitions (28)

  • Theorem 2.1: Kruskal-Katona, Macaulay
  • Theorem 3.1
  • proof
  • Corollary 3.1
  • Corollary 3.2
  • proof
  • Theorem 3.2
  • proof
  • Remark 3.1
  • Remark 3.2
  • ...and 18 more