### Abstract

Necessary and sufficient conditions are established for an integer vector to be the f-vector of some pure simplicial complex of rank three, and also for an integer vector to be thef-vector of some pure simplicial multicomplex of rank three. For specified numbers of sets of cardinality one and cardinality two, an upper bound on the number of sets of cardinality three is established using shifting arguments. Then techniques from combinatorial design theory are used to establish a lower bound. Then it is shown that every number of sets of cardinality three between the lower and the upper bound can be realized. This characterization is restated to determine the precise spectrum of possible numbers of sets of cardinality two for specified numbers of sets of cardinality one and three. For simplicial complexes, these spectra are not always intervals, and the gaps are determined precisely. For simplicial multicomplexes, an alternative proof is given that these spectra are always intervals.

Original language | English (US) |
---|---|

Pages (from-to) | 26-39 |

Number of pages | 14 |

Journal | Discrete Mathematics |

Volume | 320 |

Issue number | 1 |

DOIs | |

State | Published - Apr 6 2014 |

### Fingerprint

### Keywords

- f-vector
- Interval conjecture
- O-sequence
- Pure complex
- Triple system

### ASJC Scopus subject areas

- Discrete Mathematics and Combinatorics
- Theoretical Computer Science

### Cite this

*Discrete Mathematics*,

*320*(1), 26-39. https://doi.org/10.1016/j.disc.2013.12.001

**F-vectors of pure complexes and pure multicomplexes of rank three.** / Colbourn, Charles; Keranen, M. S.; Kreher, D. L.

Research output: Contribution to journal › Article

*Discrete Mathematics*, vol. 320, no. 1, pp. 26-39. https://doi.org/10.1016/j.disc.2013.12.001

}

TY - JOUR

T1 - F-vectors of pure complexes and pure multicomplexes of rank three

AU - Colbourn, Charles

AU - Keranen, M. S.

AU - Kreher, D. L.

PY - 2014/4/6

Y1 - 2014/4/6

N2 - Necessary and sufficient conditions are established for an integer vector to be the f-vector of some pure simplicial complex of rank three, and also for an integer vector to be thef-vector of some pure simplicial multicomplex of rank three. For specified numbers of sets of cardinality one and cardinality two, an upper bound on the number of sets of cardinality three is established using shifting arguments. Then techniques from combinatorial design theory are used to establish a lower bound. Then it is shown that every number of sets of cardinality three between the lower and the upper bound can be realized. This characterization is restated to determine the precise spectrum of possible numbers of sets of cardinality two for specified numbers of sets of cardinality one and three. For simplicial complexes, these spectra are not always intervals, and the gaps are determined precisely. For simplicial multicomplexes, an alternative proof is given that these spectra are always intervals.

AB - Necessary and sufficient conditions are established for an integer vector to be the f-vector of some pure simplicial complex of rank three, and also for an integer vector to be thef-vector of some pure simplicial multicomplex of rank three. For specified numbers of sets of cardinality one and cardinality two, an upper bound on the number of sets of cardinality three is established using shifting arguments. Then techniques from combinatorial design theory are used to establish a lower bound. Then it is shown that every number of sets of cardinality three between the lower and the upper bound can be realized. This characterization is restated to determine the precise spectrum of possible numbers of sets of cardinality two for specified numbers of sets of cardinality one and three. For simplicial complexes, these spectra are not always intervals, and the gaps are determined precisely. For simplicial multicomplexes, an alternative proof is given that these spectra are always intervals.

KW - f-vector

KW - Interval conjecture

KW - O-sequence

KW - Pure complex

KW - Triple system

UR - http://www.scopus.com/inward/record.url?scp=84896506412&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84896506412&partnerID=8YFLogxK

U2 - 10.1016/j.disc.2013.12.001

DO - 10.1016/j.disc.2013.12.001

M3 - Article

VL - 320

SP - 26

EP - 39

JO - Discrete Mathematics

JF - Discrete Mathematics

SN - 0012-365X

IS - 1

ER -