The Hermitian forms graph classification conjecture

Let Hq(,k)H_q(\ell,k) denote the Hermitian forms graph, identified with the kk-dimensional subspaces of the Grassmann graph Jq(k+,k)J_q(k+\ell,k) that are disjoint from a fixed \ell-space LL. A Boolean degree 11 function is called trivial when it is induced by point and hyperplane functions of the ambient Grassmann graph.

Hermitian forms graph classification conjecture. Let qq be a prime power. Let ff be a Boolean degree 11 function on Hq(,k)H_q(\ell,k), where k+k+\ell is sufficiently large depending on qq. Then there exist a line gg meeting LL in a point, an (1)(\ell-1)-space GLG\subseteq L, points pigp_i\in g, and hyperplanes πi\pi_i with πiL=G\pi_i\cap L=G, and with pjπip_j\notin\pi_i for all pip_i and πj\pi_j, such that

f±=pi+πi+.f^\pm=\bigvee p_i^+\vee\bigvee\pi_i^+.

The conjecture proposes a complete description of Boolean degree 11 functions on Hermitian forms graphs in sufficiently large dimension. The paper gives the listed induced examples and leaves their classification for future work.

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.