Delphi.science

Boolean degree one functions on the Grassmann scheme

Yuval Filmus

arXivarxiv/2606.23465Jun 22, 2026math.COscore 0

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.

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2606.23465
curl -X POST /api/v1/records/arxiv/2606.23465/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.23465/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'