Elimination Without Eliminating: Computing Complements of Real Hypersurfaces Using Pseudo-Witness Sets.

First Authors Paul Breiding
Authors Paul Breiding, John Cobb, Aviva K. Englander, Nayda Farnsworth, Jonathan D. Hauenstein, Oskar Henrikson, David K. Johnson, Jordy Lopez Garcia, Deepak Mundayur
Corresponding Authors
Last Authors Deepak Mundayur
Journal Name ArXiv (ArXiv)
Volume
Issue
Article Number arXiv:2601.04383
Open Access true
Print Publication Date
Online Publication Date 2026-01-07
Abstract Many hypersurfaces in algebraic geometry, such as discriminants, arise as the projection of another variety. The real complement of such a hypersurface partitions its ambient space into open regions. In this paper, we propose a new method for computing these regions. Existing methods for computing regions 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 can be done using so-called pseudo-witness sets without computing a defining equation for the hypersurface - we perform elimination without actually eliminating. We implement our approach in a forthcoming Julia package and demonstrate, on several examples, that the resulting algorithm accurately recovers all regions of the real complement of a hypersurface.
Cover Image
Affiliated With Maraj, CSBD
Selected By
Acknowledged Services
Publication Status Published
Edoc Link
Sfx Link
DOI
PubMed ID
WebOfScience Link
Alternative Full Text URL https://arxiv.org/abs/2601.04383
Display Publisher Download Only false
Visible On MPI-CBG Website true
PDF Downloadable true
Created By thuem
Added Date 2026-02-25
Last Edited By thuem
Last Edited Date 2026-02-25 12:30:20.169
Library ID 9154
Document ID
Entry Complete true
eDoc Compliant false
Include in Edoc Report false
In Pure false
Ready for eDoc Export false
Author Affiliations Complete false
Project Name
Project URL
Grant ID
Funding Programme
Funding Organisation