The proportion of non-degenerate complementary subspaces in classical spaces

S. P. Glasby; Ferdinand Ihringer; Sam Mattheus

doi:10.1007/s10623-023-01235-3

The proportion of non-degenerate complementary subspaces in classical spaces

S. P. Glasby, Ferdinand Ihringer, Sam Mattheus

Mathematics

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

Abstract

Given positive integers e₁, e₂ , let X_i denote the set of e_i -dimensional subspaces of a fixed finite vector space V=(Fq)e1+e2 . 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.

Original language	English
Pages (from-to)	2879-2891
Number of pages	13
Journal	Designs, Codes, and Cryptography
Volume	91
Issue number	9
DOIs	https://doi.org/10.1007/s10623-023-01235-3
Publication status	Published - 23 May 2023

Bibliographical note

Funding Information:
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).

Publisher Copyright:
© 2023, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.

Copyright:
Copyright 2023 Elsevier B.V., All rights reserved.

Keywords

Expander mixing lemma
Finite classical group
Opposition graph

Access to Document

10.1007/s10623-023-01235-3

Cite this

@article{591955d3ee93458694bfc54f6aa76caf,

title = "The proportion of non-degenerate complementary subspaces in classical spaces",

abstract = "Given positive integers e1, e2 , let Xi denote the set of ei -dimensional subspaces of a fixed finite vector space V=(Fq)e1+e2 . Let Yi be a non-empty subset of Xi and let αi= | Yi| / | Xi| . We give a positive lower bound, depending only on α1, α2, e1, e2, q , for the proportion of pairs (S1, S2) ∈ Y1× Y2 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.",

keywords = "Expander mixing lemma, Finite classical group, Opposition graph",

author = "Glasby, {S. P.} and Ferdinand Ihringer and Sam Mattheus",

note = "Funding Information: 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). Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature. Copyright: Copyright 2023 Elsevier B.V., All rights reserved.",

year = "2023",

month = may,

day = "23",

doi = "10.1007/s10623-023-01235-3",

language = "English",

volume = "91",

pages = "2879--2891",

journal = "Designs, Codes and Cryptography",

issn = "0925-1022",

publisher = "Springer Netherlands",

number = "9",

}

TY - JOUR

T1 - The proportion of non-degenerate complementary subspaces in classical spaces

AU - Glasby, S. P.

AU - Ihringer, Ferdinand

AU - Mattheus, Sam

N1 - Funding Information: 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). Publisher Copyright: © 2023, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature. Copyright: Copyright 2023 Elsevier B.V., All rights reserved.

PY - 2023/5/23

Y1 - 2023/5/23

N2 - Given positive integers e1, e2 , let Xi denote the set of ei -dimensional subspaces of a fixed finite vector space V=(Fq)e1+e2 . Let Yi be a non-empty subset of Xi and let αi= | Yi| / | Xi| . We give a positive lower bound, depending only on α1, α2, e1, e2, q , for the proportion of pairs (S1, S2) ∈ Y1× Y2 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.

AB - Given positive integers e1, e2 , let Xi denote the set of ei -dimensional subspaces of a fixed finite vector space V=(Fq)e1+e2 . Let Yi be a non-empty subset of Xi and let αi= | Yi| / | Xi| . We give a positive lower bound, depending only on α1, α2, e1, e2, q , for the proportion of pairs (S1, S2) ∈ Y1× Y2 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.

KW - Expander mixing lemma

KW - Finite classical group

KW - Opposition graph

UR - http://www.scopus.com/inward/record.url?scp=85160229740&partnerID=8YFLogxK

U2 - 10.1007/s10623-023-01235-3

DO - 10.1007/s10623-023-01235-3

M3 - Article

AN - SCOPUS:85160229740

VL - 91

SP - 2879

EP - 2891

JO - Designs, Codes and Cryptography

JF - Designs, Codes and Cryptography

SN - 0925-1022

IS - 9

ER -

The proportion of non-degenerate complementary subspaces in classical spaces

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this