Discrete Mathematics & Theoretical Computer Science |

- 1 Department of Mathematics [Cornell]
- 2 DePaul University [Chicago]

We present examples of flag homology spheres whose $\gamma$-vectors satisfy the Kruskal-Katona inequalities. This includes several families of well-studied simplicial complexes, including Coxeter complexes and the simplicial complexes dual to the associahedron and to the cyclohedron. In these cases, we construct explicit flag simplicial complexes whose $f$-vectors are the $\gamma$-vectors in question, and so a result of Frohmader shows that the $\gamma$-vectors satisfy not only the Kruskal-Katona inequalities but also the stronger Frankl-Füredi-Kalai inequalities. In another direction, we show that if a flag $(d-1)$-sphere has at most $2d+3$ vertices its $\gamma$-vector satisfies the Frankl-Füredi-Kalai inequalities. We conjecture that if $\Delta$ is a flag homology sphere then $\gamma (\Delta)$ satisfies the Kruskal-Katona, and further, the Frankl-Füredi-Kalai inequalities. This conjecture is a significant refinement of Gal's conjecture, which asserts that such $\gamma$-vectors are nonnegative.

Source: HAL:hal-01186270v1

Volume: DMTCS Proceedings vol. AN, 22nd International Conference on Formal Power Series and Algebraic Combinatorics (FPSAC 2010)

Section: Proceedings

Published on: January 1, 2010

Imported on: January 31, 2017

Keywords: γ -vector,simplicial complex,Coxeter complex,associahedron,Gal's conjecture,[MATH.MATH-CO] Mathematics [math]/Combinatorics [math.CO],[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]

Funding:

- Source : OpenAIRE Graph
*f-vectors of polytopes, spheres and arrangements*; Funder: National Science Foundation; Code: 0757828

This page has been seen 213 times.

This article's PDF has been downloaded 365 times.