The proportion of non-degenerate complementary subspaces in classical spaces

2022/07/11 by Glasby, S. P., Ihringer, Ferdinand, Mattheus, Sam
#05C35 #05C50 #20-08 #20C30 #Combinatorics (math.CO) #FOS: Mathematics #Group Theory (math.GR)

paper · doi:10.48550/arxiv.2207.04678

Abstract

Given positive integers e₁,e₂, let X_i denote the set of e_i-dimensional subspaces of a fixed finite vector space V=(\mathbbF_q)^e₁+e₂. Let Y_i be a non-empty subset of X_i and let α_i=|Y_i|/|X_i|. We give a positive lower bound, depending only on α₁,α₂,e₁,e₂,q, for the proportion of pairs (S₁,S₂)∈ Y₁× Y₂ which intersect trivially. As an application, we bound the proportion of pairs of non-degenerate subspaces of complementary dimensions in a finite classical space that intersect trivially. This problem is motivated by an algorithm for recognizing classical groups. By using techniques from algebraic graph theory, we are able to handle orthogonal groups over the field of order 2, a case which had eluded Niemeyer, Praeger, and the first author.

Related

• The probability of spanning a classical space by two non-degenerate subspaces of complementary dimension
• Random generation of direct sums of finite non-degenerate subspaces
• Anzahl theorems for disjoint subspaces generating a non-degenerate subspace II: quadratic forms
• Bipartite q-Kneser graphs and two-generated irreducible linear groups
• On the number of orthogonal systems in vector spaces over finite fields