Recognition of algebraic matroids is undecidable
We prove that the recognition problem for algebraic matroids is undecidable. Explicitly, this means that there is no algorithm that takes as input a finite set $S$ and a function $r\colon\mathcal{P}(S) \to \mathbb{Z}_{\ge 0}$ (where $\mathcal{P}(S)$ is the power set) and decides whether there exists a pair of fields $F \subset K$, and a function $f\colon S \to K$, such that for all $A \subseteq S$: $\mathrm{trdeg}_F f(A) = r(A)$. This problem is known to be decidable if the characteristic of the fields involved is constrained to be zero. We prove that it is undecidable if the characteristic…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2607.14907
curl -X POST /api/v1/records/arxiv/2607.14907/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.14907/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'