A Negative Answer to a Question of Basu and Perrucci on Two Multi-Affine Polynomials
Manuscript 30 September 2026 · Online 30 September 2026
Abstract
A real polynomial is multi-affine if it has degree at most one in each variable. Basu and Perrucci proved that the real zero set of one multi-affine polynomial of degree d in R^n has at most 2^(d-1) connected components, independently of n. They asked whether the number of connected components of the common real zero set of two multi-affine polynomials of degree at most d is bounded in terms of d alone; the question was posed again in Oberwolfach Report 9/2025. We show that the answer is no. For m >= 2, explicit multi-affine polynomials of degrees 2 and 4 in 2m+1 variables have a common real zero set homeomorphic to a product of m hyperbolas, with exactly 2^m connected components. A sum-of-squares identity gives a short exact certificate. The construction also combines multi-affine polynomials in disjoint variable sets into a pair whose zero set is homeomorphic to the product of their zero sets. The negative answer persists inside boxes and, as a lower bound, inside any set with nonempty interior.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Complete counterexample
- Categories
- math.AG
- Manuscript
- 30 September 2026
- Online release
- 30 September 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “A Negative Answer to a Question of Basu and Perrucci on Two Multi-Affine Polynomials,” EulerSolve Research Papers, OWR-14299088-013, 2026. https://doi.org/10.5281/zenodo.23049180.
BibTeX
@misc{Ferudun2026OWR14299088013,
author = {Ferudun, Alper},
title = {A Negative Answer to a Question of Basu and Perrucci on Two Multi-Affine Polynomials},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/owr-14299088-013/},
doi = {10.5281/zenodo.23049180},
note = {OWR-14299088-013; unrefereed preprint}
}