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

Charles Colbourn, M. S. Keranen, D. L. Kreher

Research output: Contribution to journalArticle

1 Citation (Scopus)

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 languageEnglish (US)
Pages (from-to)26-39
Number of pages14
JournalDiscrete Mathematics
Volume320
Issue number1
DOIs
StatePublished - Apr 6 2014

Fingerprint

F-vector
Cardinality
Simplicial Complex
Upper bound
Combinatorial Design
Interval
Integer
Lower bound
Necessary Conditions
Sufficient Conditions
Alternatives

Keywords

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

ASJC Scopus subject areas

  • Discrete Mathematics and Combinatorics
  • Theoretical Computer Science

Cite this

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

In: Discrete Mathematics, Vol. 320, No. 1, 06.04.2014, p. 26-39.

Research output: Contribution to journalArticle

Colbourn, Charles ; Keranen, M. S. ; Kreher, D. L. / F-vectors of pure complexes and pure multicomplexes of rank three. In: Discrete Mathematics. 2014 ; Vol. 320, No. 1. pp. 26-39.
@article{21b402d38b724d8a9a0bd82514d90216,
title = "F-vectors of pure complexes and pure multicomplexes of rank three",
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.",
keywords = "f-vector, Interval conjecture, O-sequence, Pure complex, Triple system",
author = "Charles Colbourn and Keranen, {M. S.} and Kreher, {D. L.}",
year = "2014",
month = "4",
day = "6",
doi = "10.1016/j.disc.2013.12.001",
language = "English (US)",
volume = "320",
pages = "26--39",
journal = "Discrete Mathematics",
issn = "0012-365X",
publisher = "Elsevier",
number = "1",

}

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 -