Abstract
Given positive integers \(e_1,e_2\), let \(X_i\) denote the set of \(e_i\)-dimensional subspaces of a fixed finite vector space\(V=({\mathbb F}_q)^{e_1+e_2}\). Let \(Y_i\) be a non-empty subset of \(X_i\) and let \(\alpha _i = |Y_i|/|X_i|\). We give a positive lower bound, depending only on \(\alpha _1,\alpha _2,e_1,e_2,q\), for the proportion of pairs \((S_1,S_2)\in Y_1\times Y_2\) 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.
Similar content being viewed by others
Data availability
Data sharing is not applicable to this article as no datasets were generated or analysed during the current study.
References
Bamberg J., Betten A., De Beule J., Cara P., Lavrauw M., Neunhöffer M.: FinInG, Finite Incidence Geometry, Version 1.4.1, Refereed GAP package (2018).
Blokhuis A., Brouwer A.E., Szőnyi T.: On the chromatic number of \(q\)-Kneser graphs. Des. Codes Cryptogr. 65, 187–197 (2012).
Brouwer A.E.: The eigenvalues of oppositeness graphs in buildings of spherical type, In: Combinatorics and Graphs, Contemp. Math., vol. 531, pp. 1–10. Amer. Math. Soc., Providence (2010).
Brouwer A.E., Haemers W.H.: Spectra of Graphs. Springer, New York (2012).
Cai H., Chrisnata J., Etzion T., Schwartz M., Wachter-Zeh A.: Network-coding solutions for minimal combination networks and their sub-networks. IEEE Trans. Inf. Theory 66(11), 6786–6798 (2020).
De Beule J., Mattheus S., Metsch K.: An algebraic approach to Erdős-Ko-Rado sets of flags in spherical buildings. J. Comb. Theory Ser. A 192, 105657 (2022).
Delsarte P.: Association schemes and \(t\)-designs in regular semilattices. J. Comb. Theory Ser. A 20, 230–243 (1976).
Eisfeld J.: The eigenspaces of the Bose-Mesner algebras of the association schemes corresponding to projective spaces and polar spaces. Des. Codes Cryptogr. 17, 129–150 (1999).
Geck M., Pfeiffer G.: Characters of Finite Coxeter Groups and Iwahori-Hecke Algebras. London Mathematical Society Monographs, vol. 21. New Series. The Clarendon Press, Oxford University Press, New York (2000).
Glasby S.P., Niemeyer A.C., Praeger C.E.: The probability of spanning a classical space by two non-degenerate subspaces of complementary dimensions. Finite Fields Their Appl. 82, 102055 (2022).
Glasby S.P., Niemeyer A.C., Praeger C.E.: Random generation of direct sums of finite non-degenerate subspaces, Linear Algebra Appl. Linear Algebra Appl. 649, 408–432 (2022). arXiv:2111.02198.
Haemers W.H.: Interlacing eigenvalues and graphs. Linear Algebra Appl. 226–228, 593–616 (1995).
Ihringer F.: GAP/FinIng code for the small orthogonal cases in Theorem 4.1. https://stephenglasby.github.io/publications/.
Kleidman P., Liebeck M.: The Subgroup Structure of the Finite Classical Groups, London Mathematical Society Lecture Note Series, vol. 129. Cambridge University Press, Cambridge (1990).
Neumann P.M., Praeger C.E.: Cyclic matrices over finite fields. J. Lond. Math. Soc. 52(2), 263–284 (1995).
Suda S., Tanaka H.: A cross-intersection theorem for vector spaces based on semidefinite programming. Bull. Lond. Math. Soc. 46, 342–348 (2014).
Taylor D.E.: The Geometry of the Classical Groups. Heldermann, Berlin (1992).
Acknowledgements
We thank the referee for their very helpful comments. The first author is supported by the Australian Research Council Discovery Grant DP190100450. The second author is supported by a postdoctoral fellowship of the Research Foundation—Flanders (FWO).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by K.-U. Schmidt.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Glasby, S.P., Ihringer, F. & Mattheus, S. The proportion of non-degenerate complementary subspaces in classical spaces. Des. Codes Cryptogr. 91, 2879–2891 (2023). https://doi.org/10.1007/s10623-023-01235-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10623-023-01235-3