The eventual classification conjecture for Boolean degree 1 functions on polar graphs

Let Cq(n,k,e)C_q(n,k,e) denote the polar graph considered in the paper, whose vertices are the relevant kk-dimensional subspaces of a polar space over the finite field with qq elements. A Boolean degree 11 function is called trivial when it is induced from the standard functions on the ambient Grassmann graph: constants, point functions, hyperplane functions, and their combinations.

Polar graph classification conjecture. Let k2k\geq 2. Then there exists nq,kn_{q,k} such that every Boolean degree 11 function ff on Cq(n,k,e)C_q(n,k,e) with nnq,kn\geq n_{q,k} is trivial, that is, ff can be written as

f±=ipi+iπi+i(π~i+p~i).f^\pm=\bigvee_i p_i^+\vee\bigvee_i\pi_i^+\vee\bigvee_i(\tilde{\pi}_i^+\wedge\tilde{p}_i^-).

Here pip_i are points of the polar space, πi\pi_i are non-degenerate hyperplanes of the ambient space, and π~i\tilde{\pi}_i are degenerate hyperplanes of the ambient space with π~i=p~i\tilde{\pi}_i=\tilde{p}_i^\perp. The conjecture seeks an eventual classification of Boolean degree 11 functions on polar graphs; the paper states that even their general description appears complicated and proves only a particular case.

Sources & referencesView supporting material

Primary source

Yuval Filmus and Ferdinand Ihringer, “Boolean degree 1 functions on some classical association schemes”, arXiv:1801.06034 (2020).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.