{"id":"arxiv/2606.23465","url":"https://arxiv.org/abs/2606.23465","tags":["math.CO"],"score":0,"title":"Boolean degree one functions on the Grassmann scheme","domain":"math.CO","source":"arxiv","authors":["Yuval Filmus"],"reviews":0,"subject":"math.CO","summary":"Ferdinand Ihringer proved that Boolean degree one functions on the Grassmann scheme $J_q(n,k)$ are trivial when $\\min(k,n-k) \\ge 2$ and $n$ is large enough. We provide a mostly self-contained exposition of this result. All results were formalized by ChatGPT 5.6 Sol, and are available on GitHub at YuvalFilmus/grassmann-degree-one.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-06-22","reactions":{}}