2024/06/02 by Heering, Philipp, Lansdown, Jesse, Metsch, Klaus · 2 citations
#Combinatorics (math.CO) #FOS: Mathematics
paper · doi:10.48550/arxiv.2406.00740
A chamber of the vector space \mathbbFqn is a set \S1,…,Sn-1\ of subspaces of \mathbbFqn where S1⊂ S2⊂ \dotso ⊂ Sn-1 and dim(Si)=i for i=1,…,n-1. By Γn(q) we denote the graph whose vertices are the chambers of \mathbbFqn with two chambers C1=\S1,…,Sn-1\ and C2=\T1,…,Tn-1\ adjacent in Γn(q), if Si∩ Tn-i=\0\ for i=1,…,n-1. The Erdős-Ko-Rado problem on chambers is equivalent to determining the structure of independent sets of Γn(q). The independence number of this graph was determined in [7] for n even and given a subspace P of dimension one, the set of all chambers whose subspaces of dimension \frac n2 contain P attains the bound. The dual example of course also attains the bound. It remained open in [7] whether or not these are all maximum independent sets. Using a description from [6] of the eigenspace for the smallest eigenvalue of this graph, we prove an Erdős-Ko-Rado theorem on chambers of \mathbbFqn for sufficiently large q, giving an affirmative answer for n even.