Please use this identifier to cite or link to this item:
https://hdl.handle.net/10316/100147
Title: | General non-realizability certificates for spheres with linear programming | Authors: | Gouveia, João Macchia, Antonio Wiebe, Amy |
Keywords: | Final polynomials; Linear programming; Non-realizability certificates; Slack matrices | Issue Date: | 2023 | Publisher: | Elsevier | Project: | UIDB/00324/2020 | Serial title, monograph or event: | Journal of Symbolic Computation | Volume: | 114 | Abstract: | In this paper we present a simple technique to derive certificates of non-realizability for a combinatorial polytope. Our approach uses a variant of the classical algebraic certificates introduced by Bokowski and Sturmfels (1989), the final polynomials. More specifically we reduce the problem of finding a realization to that of finding a positive point in a variety and try to find a polynomial with positive coefficients in the generating ideal (a positive polynomial), showing that such point does not exist. Many, if not most, of the techniques for proving non-realizability developed in the last three decades can be seen as following this framework, using more or less elaborate ways of constructing such positive polynomials. Our proposal is more straightforward as we simply use linear programming to exhaustively search for such positive polynomials in the ideal restricted to some linear subspace. Somewhat surprisingly, this elementary strategy yields results that are competitive with more elaborate alternatives, and allows us to derive new examples of non-realizable combinatorial polytopes | URI: | https://hdl.handle.net/10316/100147 | ISSN: | 07477171 | DOI: | 10.1016/j.jsc.2022.04.013 | Rights: | openAccess |
Appears in Collections: | FCTUC Matemática - Artigos em Revistas Internacionais I&D CMUC - Artigos em Revistas Internacionais |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
2109.15247.pdf | 285.59 kB | Adobe PDF | View/Open |
SCOPUSTM
Citations
1
checked on May 1, 2023
WEB OF SCIENCETM
Citations
1
checked on Jun 2, 2024
Page view(s)
145
checked on Oct 9, 2024
Download(s)
89
checked on Oct 9, 2024
Google ScholarTM
Check
Altmetric
Altmetric
This item is licensed under a Creative Commons License