The Hermitian forms graph classification conjecture

About 8 years old · traced to

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 G⊆LG\subseteq L, points pi∈gp_i\in g, and hyperplanes πi\pi_i with πi∩L=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.

References

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.