Math 2.0

Combinatorics Definition

f-vector and h-vector

Builds on Simplicial complexBinomial coefficient

Definition

Let Δ\Delta be a finite simplicial complex of dimension d−1d - 1, with d≥1d \ge 1. For −1≤i≤d−1-1 \le i \le d - 1, let fif_i be the number of faces of Δ\Delta of dimension ii, that is, with i+1i + 1 vertices; so f−1=1f_{-1} = 1 counts the empty face. The f-vector of Δ\Delta is (f−1,f0,…,fd−1)(f_{-1}, f_0, \dots, f_{d-1}). The h-vector of Δ\Delta is the sequence (h0,h1,…,hd)(h_0, h_1, \dots, h_d) defined by ∑i=0dhi td−i=∑i=0dfi−1 (t−1)d−i.\sum_{i=0}^{d} h_i \, t^{d-i} = \sum_{i=0}^{d} f_{i-1} \, (t - 1)^{d-i}.

Remarks

Comparing coefficients gives hk=∑i=0k(−1)k−i(d−ik−i)fi−1h_k = \sum_{i=0}^{k} (-1)^{k-i} \binom{d-i}{k-i} f_{i-1}. In particular h0=1h_0 = 1, h1=f0−dh_1 = f_0 - d, and h0+h1+⋯+hd=fd−1h_0 + h_1 + \dots + h_d = f_{d-1}. The f-vector can be recovered from the h-vector, so both carry the same information. For a simplicial polytope of dimension dd one uses the f-vector and h-vector of its boundary complex, which has dimension d−1d - 1.

Example: the boundary of an octahedron has d=3d = 3 and f=(1,6,12,8)f = (1, 6, 12, 8). Then (t−1)3+6(t−1)2+12(t−1)+8=t3+3t2+3t+1(t-1)^3 + 6(t-1)^2 + 12(t-1) + 8 = t^3 + 3t^2 + 3t + 1, so h=(1,3,3,1)h = (1, 3, 3, 1), and indeed 1+3+3+1=8=f21 + 3 + 3 + 1 = 8 = f_2.

Non-example of a nice property: the h-vector can have negative entries. For two disjoint edges, d=2d = 2 and f=(1,4,2)f = (1, 4, 2), and (t−1)2+4(t−1)+2=t2+2t−1(t-1)^2 + 4(t-1) + 2 = t^2 + 2t - 1 gives h=(1,2,−1)h = (1, 2, -1).

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Binomial coefficient concept
  2. Simplicial complex concept
  3. f-vector and h-vector definition

Further reading

  1. Web https://en.wikipedia.org/wiki/H-vector
About this page
Tag8DEH72QHEA
URIm2://8DEH72QHEA
Kinddefinition
WritingW0 stub
MSC05E45, 52B05
Definesf-vector and h-vector
UsesSimplicial complex, Binomial coefficient
Changed2 November 2026

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.