Boolean degree 1 classification conjecture for families of lines in polar spaces
Boolean degree 1 classification conjecture for families of lines in polar spaces
Let be a rank polar space, and let be a family of lines with characteristic vector . Consider the examples consisting of the sets of all lines through a point, all lines in a degenerate hyperplane, or all lines in a nondegenerate hyperplane, together with the operations of taking complements, set differences for nested families, and unions of disjoint families. Boolean degree 1 classification conjecture. There exists a constant such that if , then can be obtained by combining these examples with these operations, with . This predicts that, in sufficiently large rank, all Boolean degree 1 functions on lines are generated by the known elementary constructions. The claim is presented as a paraphrase of Conjecture 5.1 in the cited work; no resolution is given here.
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Sources & referencesView supporting material
Primary source
Ferdinand Ihringer and Morgan Rodgers, “Regular sets of lines in rank 3 polar spaces”, arXiv:2312.02397 (2024).
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.