Betti numbers of unordered configuration spaces of small graphs


Introduction

The purpose of this document is to provide data about known Betti numbers of unordered configuration spaces of small graphs in order to guide research and avoid duplicated effort.

It contains information for connected multigraphs having at most six edges which contain no loops, no bivalent vertices, and no internal (i.e., non-leaf) bridges. For each such graph there is a table of Betti numbers for configurations of small numbers of points along with Poincaré series which encode Betti numbers for all larger numbers of points. Because the Poincaré series are rational functions, this means that for fixed i and Γ, the sequence βi (BkΓ) of ith Betti numbers of is eventually polynomial in the number of points k in the configuration. For the reader's convenience, the stable polynomial is also indicated.

The enumeration of the graphs in question was done by hand and verified using Richard Mathar's preprint Statistics on Small Graphs (Table 61). The core homology computation was done using Macaulay2.

The approach uses the fact that the chains of the unordered configuration spaces of a graph are a differential graded module over a polynomial ring with variables the edges of the graph. The calculation is simplified further by a presentation of this differential graded module as the tensor product of finitely generated models for local configurations at the vertices of the graph. This picture was pioneered by Świątkowski; the action by the polynomial ring was described in my work with An and Knudsen and analyzed in later work with the same collaborators. Other related work includes the following.

  1. Ko and Park calculated the first Betti numbers for all graphs.
  2. Ramos calculated all Betti numbers for trees. For trees all values are stable. In this document, this includes the graphs with fewer than two essential vertices.
  3. Maciążek and Sawicki calculated all Betti numbers for theta graphs. In this document, this data is reproduced in a different form in the section for graphs with precisely two essential vertices.

A pdf version of this document is available here. I would like to thank Byung Hee An and Ben Knudsen for help and suggestions related to this project. This work was supported by IBS-R003-D1. This document was last modified July 16, 2019.

Examples of motivation

Two examples of the use of this data are as follows.

In my work with An and Knudsen, we showed that the ith Betti numbers of Bk(Γ) grows like a polynomial in k of degree ΔΓi-1, where ΔΓi is the maximal number of connected components of the complement of i points in Γ. At the time, An made the following conjecture, which I believe has not appeared publicly, about the leading coefficient of this polynomial.

Leading coefficient conjecture


For any graph Γ and any index i> 1, the leading term of the polynomial governing the growth of the ith Betti numbers of Bk(Γ) is CΓi kΔΓi-1, where
CΓi = (ΣS Πv in S (d(v)-2))/(ΔΓi-1)!
where S runs over i-element subsets of the essential vertices of Γ and d(v) is the degree of a vertex.
This conjecture would be false for i=1 more or less because of the special case of Lemma 3.18 of our second paper. In any event, the data here provides evidence for the conjecture, which holds for all of these small graphs.

As a second example, as expressed above, for each Γ and i the sequence βi (BkΓ) is eventually polynomial in k. A priori this does not tell us when polynomiality starts. The data here allows us to immediately eliminate some possibilities. For example, the data for the graph with adjacency matrix

0 3 2
3 0 1
2 1 0
indicates that the beginning of the polynomial range may exceed the number of essential vertices.

The data is consistent with the polynomial range beginning with k one greater than the number of essential vertices (assuming Γ has no isolated vertices).

Reducing to the kinds of graphs considered here

Betti numbers for unordered configuration spaces of graphs with loops can be obtained by reducing to loop-free graphs with the same number of edges (see Lemma 4.6 of our second paper above). Betti numbers for unordered configuration spaces of loop-free graphs with bivalent vertices can be obtained from such information for graphs without bivalent vertices (smoothing bivalent vertices is a homeomorphism and thus does not affect the configuration spaces). Betti numbers for unordered configuration spaces of disconnected graphs can be obtained combinatorially from the counts for connected graphs by summing over all ways of partitioning the desired number of points among the path components (this is true for any locally path-connected topological spaces and is not particular to graphs). Betti numbers for unordered configuration spaces of graphs with internal bridges can be obtained in a similar combinatorial manner from such information for the graphs obtained by cutting the edge into two leaves (see Proposition 5.2 of our first paper above).

Notes about the data

The graphs are organized by the number of essential (valence at least three) vertices. They are presented both with images and with adjacency matrices. The number of essential vertices also gives the maximal homological degree of the unordered configuration spaces of a graph; as long as there is at least one essential vertex, this maximal degree is realized for configuration spaces of sufficiently many points (uniformly, twice the number of essential vertices is always enough to realize the maximal degree). The graphs are enumerated essentially at random within the grouping by number of essential vertices. Unstable values are indicated in bold. All values not explicitly included in the tables of data are stable and are calculated by the indicated stable polynomial value.

Notes about the computation

The core computation of a presentation for the homology and all Poincaré series for 36 graphs (the isolated vertex and edge have irregular chain complexes because they have no essential vertices and therefore were computed by hand) took between four and five seconds on a late 2012 MacBook Pro. Pushing the kind of calculation pursued here from graphs with six to seven, eight, or possibly even nine edges should be more or less just a problem of graph enumeration. For example, the full computation for the complete graph K5 with two disjoint edges removed (eight edges) takes under a minute. On the other hand, the full computation for the complete graph K5 with a single edge removed (nine edges) takes seven minutes, and I did not complete the computation for K5 itself (ten edges).

Example code for the core computation looks as follows. It presents a local two-stage chain complex model for each vertex and then tensors them together, both over the full polynomial ring on the edges.

	
-- macaulay script for H_*(B_*(K4))
R = ZZ[e_0, e_1, e_2, e_3, e_4, e_5]
C0 = chainComplex { matrix {{e_4 - e_0, e_5 - e_0}} }
C1 = chainComplex { matrix {{e_1 - e_0, e_2 - e_0}} }
C2 = chainComplex { matrix {{e_3 - e_1, e_5 - e_1}} }
C3 = chainComplex { matrix {{e_3 - e_2, e_4 - e_2}} }
C = C0 ** C1 ** C2 ** C3
H = HH (C)
p0 = hilbertSeries (H_0, Reduce => true)
p1 = hilbertSeries (H_1, Reduce => true)
p2 = hilbertSeries (H_2, Reduce => true)
p3 = hilbertSeries (H_3, Reduce => true)
p4 = hilbertSeries (H_4, Reduce => true)
	

Data for small graphs

Data for graphs with 0 essential vertices


picture of the graph isolated_vertex

0

Note: values calculated by hand
Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 0 1+t 0


picture of the graph isolated_edge

0 1
1 0

Note: values calculated by hand
Betti numbers βi(Bk(Γ)):

i\k 0 Poincaré series stable polynomial value
0 1 1/(1-t) 1


Data for graphs with 1 essential vertex


picture of the graph star3

0 1 1 1
1 0 0 0
1 0 0 0
1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 Poincaré series stable polynomial value
0 1 1/(1-t) 1
1 0 t2/(1-t)3 (-k+k2)/2!


picture of the graph star4

0 1 1 1 1
1 0 0 0 0
1 0 0 0 0
1 0 0 0 0
1 0 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 Poincaré series stable polynomial value
0 1 1/(1-t) 1
1 0 (3t2-t3)/(1-t)4 (-5k+3k2+2k3)/3!


picture of the graph star5

0 1 1 1 1 1
1 0 0 0 0 0
1 0 0 0 0 0
1 0 0 0 0 0
1 0 0 0 0 0
1 0 0 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 Poincaré series stable polynomial value
0 1 1/(1-t) 1
1 0 (6t2-4t3+t4)/(1-t)5 (-26k+9k2+14k3+3k4)/4!


picture of the graph star6

0 1 1 1 1 1 1
1 0 0 0 0 0 0
1 0 0 0 0 0 0
1 0 0 0 0 0 0
1 0 0 0 0 0 0
1 0 0 0 0 0 0
1 0 0 0 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 Poincaré series stable polynomial value
0 1 1/(1-t) 1
1 0 (10t2-10t3+5t4-t5)/(1-t)6 (-154k+25k2+90k3+35k4+4k5)/5!


Data for graphs with 2 essential vertices


picture of the graph theta3

0 3
3 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 3 (2t+t2)/(1-t) 3
2 0 0 0 t4/(1-t)3 (6-5k+k2)/2!


picture of the graph theta4

0 4
4 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 3 6 (3t+3t2)/(1-t) 6
2 0 0 0 (t3+6t4-3t5)/(1-t)4 (36-10k-12k2+4k3)/3!


picture of the graph theta5

0 5
5 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 4 10 (4t+6t2)/(1-t) 10
2 0 0 0 (4t3+19t4-20t5+6t6)/(1-t)5 (240-30k-69k2-6k3+9k4)/4!


picture of the graph theta6

0 6
6 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 5 15 (5t+10t2)/(1-t) 15
2 0 0 0 (10t3+45t4-74t5+45t6-10t7)/(1-t)6 (1800-116k-400k2-140k3+40k4+16k5)/5!


picture of the graph star3_3

0 3 1 1
3 0 0 0
1 0 0 0
1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 8 (2t+2t2-2t3+t4)/(1-t)3 (2+k+3k2)/2!
2 0 0 0 (6t4-4t5+t6)/(1-t)5 (24+10k-3k2-10k3+3k4)/4!


picture of the graph star3_4

0 4 1 1
4 0 0 0
1 0 0 0
1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 3 13 (3t+4t2-6t3+3t4)/(1-t)3 (6+2k+4k2)/2!
2 0 0 0 (t3+25t4-30t5+15t6-3t7)/(1-t)6 (360+112k-10k2-120k3+10k4+8k5)/5!


picture of the graph star4_3

0 3 1 1 1
3 0 0 0 0
1 0 0 0 0
1 0 0 0 0
1 0 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 12 (2t+4t2-4t3+3t4-t5)/(1-t)4 (6-k+9k2+4k3)/3!
2 0 0 0 (10t4-10t5+5t6-t7)/(1-t)6 (120+26k+5k2-30k3-5k4+4k5)/5!


picture of the graph a_graph_1_2_1

0 1 0 0
1 0 2 0
0 2 0 1
0 0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 Poincaré series stable polynomial value
0 1 1 1/(1-t) 1
1 0 1 (t+t2)/(1-t)2 -1+2k
2 0 0 t4/(1-t)4 (-6+11k-6k2+k3)/3!


picture of the graph a_graph_1_3_1

0 1 0 0
1 0 3 0
0 3 0 1
0 0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 7 (2t+3t2-t3)/(1-t)2 -1+4k
2 0 0 0 (9t4-6t5+t6)/(1-t)5 (-24+92k-40k2-8k3+4k4)/4!


picture of the graph a_graph_1_4_1

0 1 0 0
1 0 4 0
0 4 0 1
0 0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 3 12 (3t+6t2-3t3)/(1-t)2 6k
2 0 0 0 (t3+31t4-38t5+18t6-3t7)/(1-t)6 (706k-255k2-115k3+15k4+9k5)/5!


picture of the graph dart_graph_3_1

0 3 0
3 0 1
0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 5 (2t+t2-t3)/(1-t)2 1+2k
2 0 0 0 (3t4-t5)/(1-t)4 (6+7k-9k2+2k3)/3!


picture of the graph dart_graph_4_1

0 4 0
4 0 1
0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 3 9 (3t+3t2-3t3)/(1-t)2 3+3k
2 0 0 0 (t3+14t4-12t5+3t6)/(1-t)5 (72+56k-54k2-8k3+6k4)/4!


picture of the graph dart_graph_5_1

0 5 0
5 0 1
0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 4 14 (4t+6t2-6t3)/(1-t)2 6+4k
2 0 0 0 (4t3+39t4-55t5+30t6-6t7)/(1-t)6 (720+418k-325k2-130k3+25k4+12k5)/5!


picture of the graph y_1_1_2_1

0 2 0 1 1
2 0 1 0 0
0 1 0 0 0
1 0 0 0 0
1 0 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 Poincaré series stable polynomial value
0 1 1 1/(1-t) 1
1 0 1 (t+2t2-t3)/(1-t)3 (-2+2k+2k2)/2!
2 0 0 (3t4-t5)/(1-t)5 (-24+32k-2k2-8k3+2k4)/4!


picture of the graph y_1_1_3_1

0 3 0 1 1
3 0 1 0 0
0 1 0 0 0
1 0 0 0 0
1 0 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 10 (2t+4t2-4t3+t4)/(1-t)3 (-2+5k+3k2)/2!
2 0 0 0 (18t4-18t5+7t6-t7)/(1-t)6 (-120+334k-5k2-100k3+5k4+6k5)/5!


picture of the graph cross

0 1 0 0 0 0
1 0 2 0 0 0
0 2 0 1 1 1
0 0 1 0 0 0
0 0 1 0 0 0
0 0 1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 Poincaré series stable polynomial value
0 1 1 1/(1-t) 1
1 0 1 (t+4t2-3t3+t4)/(1-t)4 (-6+3k+6k2+3k3)/3!
2 0 0 (6t4-4t5+t6)/(1-t)6 (-120+142k+5k2-25k3-5k4+3k5)/5!


picture of the graph bi_y

0 0 1 0 0 0
0 0 1 0 0 0
1 1 0 2 0 0
0 0 2 0 1 1
0 0 0 1 0 0
0 0 0 1 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 Poincaré series stable polynomial value
0 1 1 1/(1-t) 1
1 0 1 (t+4t2-t3)/(1-t)3 (-2+4k2)/2!
2 0 0 (9t4-6t5+t6)/(1-t)6 (-120+76k+120k2-80k3+4k5)/5!


Data for graphs with 3 essential vertices


picture of the graph a_graph_3_2_1

0 3 0 0
3 0 2 0
0 2 0 1
0 0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 Poincaré series stable polynomial value
0 1 1 1 1 1/(1-t) 1
1 0 3 8 12 (3t+2t2-t3)/(1-t)2 4k
2 0 0 0 3 (3t3+5t4-3t5+t6)/(1-t)4 (-18+30k-24k2+6k3)/3!
3 0 0 0 0 (6t6-4t7+t8)/(1-t)6 (-360+222k-205k2+135k3-35k4+3k5)/5!


picture of the graph dart_graph_3_3

0 3 0
3 0 3
0 3 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 4 Poincaré series stable polynomial value
0 1 1 1 1 1 1/(1-t) 1
1 0 4 10 14 18 (4t+2t2-2t3)/(1-t)2 2+4k
2 0 0 0 4 23 (4t3+7t4-5t5+3t6-t7)/(1-t)4 (18+22k-30k2+8k3)/3!
3 0 0 0 0 0 (10t6-10t7+5t8-t9)/(1-t)6 (120+126k-255k2+170k3-45k4+4k5)/5!


picture of the graph triangle_graph_2_2_1

0 2 2
2 0 1
2 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 Poincaré series stable polynomial value
0 1 1 1 1 1/(1-t) 1
1 0 3 5 5 (3t+2t2)/(1-t) 5
2 0 0 0 2 (2t3+3t4-t5)/(1-t)3 (10-14k+4k2)/2!
3 0 0 0 0 (3t6-t7)/(1-t)5 (-120k+94k2-24k3+2k4)/4!


picture of the graph triangle_graph_2_2_2

0 2 2
2 0 2
2 2 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 4 Poincaré series stable polynomial value
0 1 1 1 1 1 1/(1-t) 1
1 0 4 7 7 7 (4t+3t2)/(1-t) 7
2 0 0 0 8 33 (8t3+9t4-6t5+t6)/(1-t)3 (18-36k+12k2)/2!
3 0 0 0 0 0 (27t6-27t7+9t8-t9)/(1-t)6 (240-1948k+1080k2-40k3-60k4+8k5)/5!


picture of the graph triangle_graph_3_2_1

0 3 2
3 0 1
2 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 4 Poincaré series stable polynomial value
0 1 1 1 1 1 1/(1-t) 1
1 0 4 8 8 8 (4t+4t2)/(1-t) 8
2 0 0 0 6 31 (6t3+7t4-11t5+5t6-t7)/(1-t)4 (42-36k-6k2+6k3)/3!
3 0 0 0 0 0 (18t6-18t7+7t8-t9)/(1-t)6 (-120-526k+235k2+100k3-55k4+6k5)/5!


picture of the graph triangle_graph_horn_1_1_2_1

0 1 1 1
1 0 2 0
1 2 0 0
1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 4 (2t-t3)/(1-t)2 2+k
2 0 0 0 (t3+2t4)/(1-t)3 (14-13k+3k2)/2!
3 0 0 0 t6/(1-t)5 (120-154k+71k2-14k3+k4)/4!


picture of the graph triangle_graph_horn_1_1_3_1

0 1 1 1
1 0 3 0
1 3 0 0
1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 Poincaré series stable polynomial value
0 1 1 1 1 1/(1-t) 1
1 0 3 7 8 (3t+t2-3t3)/(1-t)2 5+k
2 0 0 0 3 (3t3+7t4-7t5+t6)/(1-t)4 (66-52k+4k3)/3!
3 0 0 0 0 (9t6-6t7+t8)/(1-t)6 (720-1044k+280k2+80k3-40k4+4k5)/5!


picture of the graph triangle_graph_horn_2_2_1_1

0 2 2 1
2 0 1 0
2 1 0 0
1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 Poincaré series stable polynomial value
0 1 1 1 1 1/(1-t) 1
1 0 3 8 11 (3t+2t2-2t3)/(1-t)2 2+3k
2 0 0 0 2 (2t3+7t4-4t5+t6)/(1-t)4 (-6+24k-24k2+6k3)/3!
3 0 0 0 0 (6t6-4t7+t8)/(1-t)6 (-360+222k-205k2+135k3-35k4+3k5)/5!


picture of the graph triangle_graph_horn_2_1_2_1

0 2 1 1
2 0 2 0
1 2 0 0
1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 Poincaré series stable polynomial value
0 1 1 1 1 1/(1-t) 1
1 0 3 7 9 (3t+t2-2t3)/(1-t)2 3+2k
2 0 0 0 4 (4t3+5t4-6t5+t6)/(1-t)4 (54-46k+4k3)/3!
3 0 0 0 0 (9t6-6t7+t8)/(1-t)6 (720-1044k+280k2+80k3-40k4+4k5)/5!


picture of the graph caterpillar

0 1 0 0 0
1 0 2 0 0
0 2 0 2 0
0 0 2 0 1
0 0 0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 6 (2t+2t2)/(1-t)2 -2+4k
2 0 0 0 (2t3+3t4-t5)/(1-t)4 (6+11k-15k2+4k3)/3!
3 0 0 0 (3t6-t7)/(1-t)6 (360-222k-95k2+100k3-25k4+2k5)/5!


picture of the graph hairytriangle

0 1 1 1 1
1 0 2 0 0
1 2 0 0 0
1 0 0 0 0
1 0 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 6 (2t-t3+t4)/(1-t)3 (4+2k2)/2!
2 0 0 0 (3t3+3t4-2t5)/(1-t)4 (30-13k-9k2+4k3)/3!
3 0 0 0 (3t6-t7)/(1-t)6 (360-222k-95k2+100k3-25k4+2k5)/5!


picture of the graph bull

0 2 1 0 0
2 0 1 1 0
1 1 0 0 1
0 1 0 0 0
0 0 1 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 Poincaré series stable polynomial value
0 1 1 1 1/(1-t) 1
1 0 2 6 (2t+2t2-t3)/(1-t)2 3k
2 0 0 0 (t3+5t4-2t5)/(1-t)4 (18+5k-15k2+4k3)/3!
3 0 0 0 (3t6-t7)/(1-t)6 (360-222k-95k2+100k3-25k4+2k5)/5!


picture of the graph augmented_triangle

0 1 1 1 0 0
1 0 1 0 1 0
1 1 0 0 0 1
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 Poincaré series stable polynomial value
0 1 1 1/(1-t) 1
1 0 1 (t+2t2)/(1-t)2 -2+3k
2 0 0 3t4/(1-t)4 (-18+33k-18k2+3k3)/3!
3 0 0 t6/(1-t)6 (-120+274k-225k2+85k3-15k4+k5)/5!


Data for graphs with 4 essential vertices


picture of the graph square_2_1_2_1

0 1 0 2
1 0 2 0
0 2 0 1
2 0 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 Poincaré series stable polynomial value
0 1 1 1 1 1/(1-t) 1
1 0 3 5 5 (3t+2t2)/(1-t) 5
2 0 0 1 4 (t2+t3+t4-t5)/(1-t)3 (-4-2k+2k2)/2!
3 0 0 0 0 (2t5+2t6)/(1-t)4 (-168+146k-42k2+4k3)/3!
4 0 0 0 0 t8/(1-t)6 (-2520+2754k-1175k2+245k3-25k4+k5)/5!


picture of the graph K4

0 1 1 1
1 0 1 1
1 1 0 1
1 1 1 0

Betti numbers βi(Bk(Γ)):

i\k 0 1 2 3 Poincaré series stable polynomial value
0 1 1 1 1 1/(1-t) 1
1 0 3 4 4 (3t+t2)/(1-t) 4
2 0 0 0 3 (3t3+3t4)/(1-t)2 -15+6k
3 0 0 0 0 4t6/(1-t)4 (-240+188k-48k2+4k3)/3!
4 0 0 0 0 t8/(1-t)6 (-2520+2754k-1175k2+245k3-25k4+k5)/5!