Massively Parallel Reductions in Multivariate Polynomial Systems: Bridging the Symbolic Preprocessing Gap on GPGPU Architectures
Gröbner basis computation over multivariate polynomial rings remains one of the most powerful yet computationally hostile primitives in symbolic computation. While modern algorithms (Faugère-type F4 and signature-based F5) reduce many instances to large sparse linear algebra over finite fields, their dominant cost is not merely elimination but the symbolic preprocessing that constructs Macaulay-style matrices whose rows encode shifted reducers. This phase is characterized by dynamic combinatorics (monomial discovery, sparse row assembly, and deduplication) and is typically memory-latency…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2601.06765
curl -X POST /api/v1/records/arxiv/2601.06765/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2601.06765/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'