Numerical Elimination: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets

Paul Breiding, John Cobb, Aviva K. Englander, Nayda Farnsworth, Jonathan D. Hauenstein, Oskar Henriksson, David K. Johnson, Jordy Lopez Garcia, Deepak Mundayur

arXivarxiv/2601.04383Jan 7, 2026math.AGscore 0

Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface decomposes into connected components. In this paper, we propose a new method for computing these components. Existing methods require the explicit equation of the hypersurface as input. However, computing this equation by elimination can be computationally demanding or even infeasible. Our approach instead derives from univariate interpolation by computing the intersection of the hypersurface with a line. Such an intersection may be computed…

SourceJSON

Comments and reviews

No comments yet.

API

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