Grassmann graph

From testwiki
Jump to navigation Jump to search

Template:Short description Template:Infobox graph

In graph theory, Grassmann graphs are a special class of simple graphs defined from systems of subspaces. The vertices of the Grassmann graph Template:Math are the Template:Mvar-dimensional subspaces of an Template:Mvar-dimensional vector space over a finite field of order Template:Mvar; two vertices are adjacent when their intersection is Template:Math-dimensional.

Many of the parameters of Grassmann graphs are [[Q-analog|Template:Mvar-analogs]] of the parameters of Johnson graphs, and Grassmann graphs have several of the same graph properties as Johnson graphs.

Graph-theoretic properties

ω(Jq(n,k))=1−λmaxλmin

Template:Citation needed

Automorphism group

There is a distance-transitive subgroup of Aut⁡(Jq(n,k)) isomorphic to the projective linear group PΓL⁡(n,q).Template:Citation needed

In fact, unless n=2k or k∈{1,n−1}, Aut⁡(Jq(n,k))≅PΓL⁡(n,q); otherwise Aut⁡(Jq(n,k))≅PΓL⁡(n,q)×C2 or Aut⁡(Jq(n,k))≅Sym⁡([n]q) respectively.[1]

Intersection array

As a consequence of being distance-transitive, Jq(n,k) is also distance-regular. Letting d denote its diameter, the intersection array of Jq(n,k) is given by {b0,…,bd−1;c1,…cd} where:

  • bj:=q2j+1[k−j]q[n−k−j]q for all 0≤j<d.
  • cj:=([j]q)2 for all 0<j≤d.

Spectrum

  • The characteristic polynomial of Jq(n,k) is given by
φ(x):=∏j=0diam⁡(Jq(n,k))(x−(qj+1[k−j]q[n−k−j]q−[j]q))((nj)q−(nj−1)q).[1]

See also

References