-
Nonnegativity of signomials with Newton simplex over convex sets
Authors:
Jonas Ellwanger,
Thorsten Theobald,
Timo de Wolff
Abstract:
We study a class of signomials whose positive support is the set of vertices of a simplex and which may have multiple negative support points in the simplex. Various groups of authors have provided an exact characterization for the global nonnegativity of a signomial in this class in terms of circuit signomials and that characterization provides a tractable nonnegativity test. We generalize this c…
▽ More
We study a class of signomials whose positive support is the set of vertices of a simplex and which may have multiple negative support points in the simplex. Various groups of authors have provided an exact characterization for the global nonnegativity of a signomial in this class in terms of circuit signomials and that characterization provides a tractable nonnegativity test. We generalize this characterization to the constrained nonnegativity over a convex set $X$. This provides a tractable $X$-nonnegativity test for the class in terms of relative entropy programming and in terms of the support function of $X$. Our proof methods rely on the convex cone of constrained SAGE signomials (sums of arithmetic-geometric exponentials) and the duality theory of this cone.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Benchmarking of quantum and classical SDP relaxations for QUBO formulations of real-world logistics problems
Authors:
Birte Ostermann,
Taylor Garnowski,
Fabian Henze,
Vaibhavnath Jha,
Asra Dia,
Frederik Fiand,
David Gross,
Wendelin Gross,
Julian Nowak,
Timo de Wolff
Abstract:
Quadratic unconstrained binary optimization problems (QUBOs) are intensively discussed in the realm of quantum computing and polynomial optimization. We provide a vast experimental study of semidefinite programming (SDP) relaxations of QUBOs using sums of squares methods and on Hamiltonian Updates. We test on QUBO reformulations of industry-based instances of the (open) vehicle routing problem and…
▽ More
Quadratic unconstrained binary optimization problems (QUBOs) are intensively discussed in the realm of quantum computing and polynomial optimization. We provide a vast experimental study of semidefinite programming (SDP) relaxations of QUBOs using sums of squares methods and on Hamiltonian Updates. We test on QUBO reformulations of industry-based instances of the (open) vehicle routing problem and the (affinity-based) slotting problem -- two common combinatorial optimization problems in logistics. Beyond comparing the performance of various methods and software, our results reaffirm that optimizing over non-generic, real-world instances provides additional challenges. In consequence, this study underscores recent developments towards structure exploitation and specialized solver development for the used methods and simultaneously shows that further research is necessary in this direction both on the classical and the quantum side.
△ Less
Submitted 13 March, 2025;
originally announced March 2025.
-
Solving quadratic binary optimization problems using quantum SDP methods: Non-asymptotic running time analysis
Authors:
Fabian Henze,
Viet Tran,
Birte Ostermann,
Richard Kueng,
Timo de Wolff,
David Gross
Abstract:
Quantum computers can solve semidefinite programs (SDPs) using resources that scale better than state-of-the-art classical methods as a function of the problem dimension. At the same time, the known quantum algorithms scale very unfavorably in the precision, which makes it non-trivial to find applications for which the quantum methods are well-suited. Arguably, precision is less crucial for SDP re…
▽ More
Quantum computers can solve semidefinite programs (SDPs) using resources that scale better than state-of-the-art classical methods as a function of the problem dimension. At the same time, the known quantum algorithms scale very unfavorably in the precision, which makes it non-trivial to find applications for which the quantum methods are well-suited. Arguably, precision is less crucial for SDP relaxations of combinatorial optimization problems (such as the Goemans-Williamson algorithm), because these include a final rounding step that maps SDP solutions to binary variables. With this in mind, Brandão, França, and Kueng have proposed to use quantum SDP solvers in order to achieve an end-to-end speed-up for obtaining approximate solutions to combinatorial optimization problems. They did indeed succeed in identifying an algorithm that realizes a polynomial quantum advantage in terms of its asymptotic running time. However, asymptotic results say little about the problem sizes for which advantages manifest. Here, we present an analysis of the non-asymptotic resource requirements of this algorithm. The work consists of two parts. First, we optimize the original algorithm with a particular emphasis on performance for realistic problem instances. In particular, we formulate a version with adaptive step-sizes, an improved detection criterion for infeasible instances, and a more efficient rounding procedure. In a second step, we benchmark both the classical and the quantum version of the algorithm. The benchmarks did not identify a regime where even the optimized quantum algorithm would beat standard classical approaches for input sizes that can be realistically solved at all. In the absence of further significant improvements, these algorithms therefore fall into a category sometimes called galactic: Unbeaten in their asymptotic scaling behavior, but not practical for realistic problems.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
Revealing hidden physical nonclassicality with nonnegative polynomials
Authors:
Ties-A. Ohst,
Benjamin Yadin,
Birte Ostermann,
Timo de Wolff,
Otfried Gühne,
Hai-Chau Nguyen
Abstract:
Understanding quantum phenomena which go beyond classical concepts is a focus of modern quantum physics. Here, we show how the theory of nonnegative polynomials emerging around Hilbert's 17th problem, can be used to optimally exploit data capturing the nonclassical nature of light. Specifically, we show that nonnegative polynomials can reveal nonclassicality in data even when it is hidden from sta…
▽ More
Understanding quantum phenomena which go beyond classical concepts is a focus of modern quantum physics. Here, we show how the theory of nonnegative polynomials emerging around Hilbert's 17th problem, can be used to optimally exploit data capturing the nonclassical nature of light. Specifically, we show that nonnegative polynomials can reveal nonclassicality in data even when it is hidden from standard detection methods up to now. Moreover, the abstract language of nonnegative polynomials also leads to a unified mathematical approach to nonclassicality for light and spin systems, allowing us to map methods for one to the other. Conversely, the physical problems arising also inspire several mathematical insights into characterisation of nonnegative polynomials.
△ Less
Submitted 11 February, 2025; v1 submitted 14 March, 2024;
originally announced March 2024.
-
A Speed-up for Helsgaun's TSP Heuristic by Relaxing the Positive Gain Criterion
Authors:
Sabrina C. L. Ammann,
Birte Ostermann,
Sebastian Stiller,
Timo de Wolff
Abstract:
The Traveling Salesman Problem (TSP) is one of the most extensively researched and widely applied combinatorial optimization problems. It is NP-hard even in the symmetric and metric case. Building upon elaborate research, state-of-the-art exact solvers such as CONCORDE can solve TSP instances with several ten thousand vertices. A key ingredient for these integer programming approaches are fast heu…
▽ More
The Traveling Salesman Problem (TSP) is one of the most extensively researched and widely applied combinatorial optimization problems. It is NP-hard even in the symmetric and metric case. Building upon elaborate research, state-of-the-art exact solvers such as CONCORDE can solve TSP instances with several ten thousand vertices. A key ingredient for these integer programming approaches are fast heuristics to find a good initial solution, in particular the Lin-Kernighan-Helsgaun (LKH) heuristic. For instances with few hundred vertices heuristics like LKH often find an optimal solution. In this work we develop variations of LKH that perform significantly better on large instances. LKH repeatedly improves an initially random tour by exchanging edges along alternating circles. Thereby, it respects several criteria designed to quickly find alternating circles that give a feasible improvement of the tour. Among those criteria, the positive gain criterion stayed mostly untouched in previous research. It requires that, while constructing an alternating circle, the total gain has to be positive after each pair of edges. We relax this criterion carefully leading to improvement steps hitherto undiscovered by LKH. We confirm this improvement experimentally via extensive simulations on various benchmark libraries for TSP. Our computational study shows that for large instances our method is on average 13% faster than the latest version of LKH.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Realistic Runtime Analysis for Quantum Simplex Computation
Authors:
Sabrina Ammann,
Maximilian Hess,
Debora Ramacciotti,
Sándor P. Fekete,
Paulina L. A. Goedicke,
David Gross,
Andreea Lefterovici,
Tobias J. Osborne,
Michael Perk,
Antonio Rotundo,
S. E. Skelton,
Sebastian Stiller,
Timo de Wolff
Abstract:
In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algor…
▽ More
In recent years, strong expectations have been raised for the possible power of quantum computing for solving difficult optimization problems, based on theoretical, asymptotic worst-case bounds. Can we expect this to have consequences for Linear and Integer Programming when solving instances of practically relevant size, a fundamental goal of Mathematical Programming, Operations Research and Algorithm Engineering? Answering this question faces a crucial impediment: The lack of sufficiently large quantum platforms prevents performing real-world tests for comparison with classical methods.
In this paper, we present a quantum analog for classical runtime analysis when solving real-world instances of important optimization problems. To this end, we measure the expected practical performance of quantum computers by analyzing the expected gate complexity of a quantum algorithm. The lack of practical quantum platforms for experimental comparison is addressed by hybrid benchmarking, in which the algorithm is performed on a classical system, logging the expected cost of the various subroutines that are employed by the quantum versions. In particular, we provide an analysis of quantum methods for Linear Programming, for which recent work has provided asymptotic speedup through quantum subroutines for the Simplex method. We show that a practical quantum advantage for realistic problem sizes would require quantum gate operation times that are considerably below current physical limitations.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
Initial Application of SONC to Lyapunov Stability of Dynamical Systems
Authors:
Janin Heuer,
Timo de Wolff
Abstract:
Certifying the stability of dynamical systems is a central and challenging task in control theory and systems analysis. To tackle these problems we present an algorithmic approach to finding polynomial Lyapunov functions. Our method relies on sums of nonnegative circuit functions (SONC), a certificate of nonnegativity of real polynomials. We show that both the problem of verifying as well as the m…
▽ More
Certifying the stability of dynamical systems is a central and challenging task in control theory and systems analysis. To tackle these problems we present an algorithmic approach to finding polynomial Lyapunov functions. Our method relies on sums of nonnegative circuit functions (SONC), a certificate of nonnegativity of real polynomials. We show that both the problem of verifying as well as the more difficult task of finding Lyapunov functions can be carried out via relative entropy programming when using SONC certificates. This approach is analogue yet independent to finding Lyapunov functions via sums of squares (SOS) certificates and semidefinite programming. Furthermore, we explore whether using the related, recently introduced DSONC certificate is advantageous compared to SONC for this type of problem. We implemented our results, and present examples to show their applicability.
△ Less
Submitted 3 March, 2023;
originally announced March 2023.
-
A Generalized Muirhead Inequality and Symmetric Sums of Nonnegative Circuits
Authors:
Janin Heuer,
Ngoc Mai Tran,
Timo de Wolff
Abstract:
Circuit polynomials are a certificate of nonnegativity for real polynomials, which can be derived via a generalization of the classical inequality of arithmetic and geometric means. In this article, we show that similarly nonnegativity of symmetric real polynomials can be certified via a generalization of the classical Muirhead inequality. Moreover, we show that a nonnegative symmetric polynomial…
▽ More
Circuit polynomials are a certificate of nonnegativity for real polynomials, which can be derived via a generalization of the classical inequality of arithmetic and geometric means. In this article, we show that similarly nonnegativity of symmetric real polynomials can be certified via a generalization of the classical Muirhead inequality. Moreover, we show that a nonnegative symmetric polynomial admits a decomposition into sums of nonnegative circuit polynomials if and only if it satisfies said generalized Muirhead condition. The latter re-proves a result by Moustrou, Naumann, Riener, Theobald, and Verdure for the case of the symmetric group in a shortened and more elementary way.
△ Less
Submitted 14 November, 2022;
originally announced November 2022.
-
Learning Variational Models with Unrolling and Bilevel Optimization
Authors:
Christoph Brauer,
Niklas Breustedt,
Timo de Wolff,
Dirk A. Lorenz
Abstract:
In this paper we consider the problem of learning variational models in the context of supervised learning via risk minimization. Our goal is to provide a deeper understanding of the two approaches of learning of variational models via bilevel optimization and via algorithm unrolling. The former considers the variational model as a lower level optimization problem below the risk minimization probl…
▽ More
In this paper we consider the problem of learning variational models in the context of supervised learning via risk minimization. Our goal is to provide a deeper understanding of the two approaches of learning of variational models via bilevel optimization and via algorithm unrolling. The former considers the variational model as a lower level optimization problem below the risk minimization problem, while the latter replaces the lower level optimization problem by an algorithm that solves said problem approximately. Both approaches are used in practice, but unrolling is much simpler from a computational point of view. To analyze and compare the two approaches, we consider a simple toy model, and compute all risks and the respective estimators explicitly. We show that unrolling can be better than the bilevel optimization approach, but also that the performance of unrolling can depend significantly on further parameters, sometimes in unexpected ways: While the stepsize of the unrolled algorithm matters a lot (and learning the stepsize gives a significant improvement), the number of unrolled iterations plays a minor role.
△ Less
Submitted 6 September, 2023; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Parameter region for multistationarity in $n-$site phosphorylation networks
Authors:
Elisenda Feliu,
Nidhi Kaihnsa,
Timo de Wolff,
Oğuzhan Yürük
Abstract:
Multisite phosphorylation is a signaling mechanism well known to give rise to multiple steady states, a property termed multistationarity. When phosphorylation occurs in a sequential and distributive manner, we obtain a family of networks indexed by the number of phosphorylation sites $n$. This work addresses the problem of understanding the parameter region where this family of networks displays…
▽ More
Multisite phosphorylation is a signaling mechanism well known to give rise to multiple steady states, a property termed multistationarity. When phosphorylation occurs in a sequential and distributive manner, we obtain a family of networks indexed by the number of phosphorylation sites $n$. This work addresses the problem of understanding the parameter region where this family of networks displays multistationarity, by focusing on the projection of this region onto the set of kinetic parameters. The problem is phrased in the context of real algebraic geometry and reduced to studying whether a polynomial, defined as the determinant of a parametric matrix of size three, attains negative values over the positive orthant. The coefficients of the polynomial are functions of the kinetic parameters. For any $n$, we provide sufficient conditions for the polynomial to be positive and hence, preclude multistationarity, and also sufficient conditions for it to attain negative values and hence, enable multistationarity. These conditions are derived by exploiting the structure of the polynomial, its Newton polytope, and employing circuit polynomials. A relevant consequence of our results is that the set of kinetic parameters that enable or preclude multistationarity are both connected for all $n$.
△ Less
Submitted 5 March, 2023; v1 submitted 17 June, 2022;
originally announced June 2022.
-
The Duality of SONC: Advances in Circuit-based Certificates
Authors:
Janin Heuer,
Timo de Wolff
Abstract:
The cone of sums of nonnegative circuits (SONCs) is a subset of the cone of nonnegative polynomials / exponential sums, which has been studied extensively in recent years. In this article, we construct a subset of the SONC cone which we call the DSONC cone. The DSONC cone can be seen as an extension of the dual SONC cone; membership can be tested via linear programming. We show that the DSONC cone…
▽ More
The cone of sums of nonnegative circuits (SONCs) is a subset of the cone of nonnegative polynomials / exponential sums, which has been studied extensively in recent years. In this article, we construct a subset of the SONC cone which we call the DSONC cone. The DSONC cone can be seen as an extension of the dual SONC cone; membership can be tested via linear programming. We show that the DSONC cone is a proper, full-dimensional cone, we provide a description of its extreme rays, and collect several properties that parallel those of the SONC cone. Moreover, we show that functions in the DSONC cone cannot have real zeros, which yields that DSONC cone does not intersect the boundary of the SONC cone. Furthermore, we discuss the intersection of the DSONC cone with the SOS and SDSOS cones. Finally, we show that circuit functions in the boundary of the DSONC cone are determined by points of equilibria, which hence are the analogues to singular points in the primal SONC cone, and relate the DSONC cone to tropical geometry.
△ Less
Submitted 8 April, 2022;
originally announced April 2022.
-
Assessment of event-triggered policies of nonpharmaceutical interventions based on epidemiological indicators
Authors:
Carla Castillo-Laborde,
Taco de Wolff,
Pedro Gajardo,
Rodrigo Lecaros,
Gerard Olivar,
Hector Ramirez C
Abstract:
Nonpharmaceutical interventions (NPI) such as banning public events or instituting lockdowns have been widely applied around the world to control the current COVID-19 pandemic. Typically, this type of intervention is imposed when an epidemiological indicator in a given population exceeds a certain threshold. Then, the nonpharmaceutical intervention is lifted when the levels of the indicator used h…
▽ More
Nonpharmaceutical interventions (NPI) such as banning public events or instituting lockdowns have been widely applied around the world to control the current COVID-19 pandemic. Typically, this type of intervention is imposed when an epidemiological indicator in a given population exceeds a certain threshold. Then, the nonpharmaceutical intervention is lifted when the levels of the indicator used have decreased sufficiently. What is the best indicator to use? In this paper, we propose a mathematical framework to try to answer this question. More specifically, the proposed framework permits to assess and compare different event-triggered controls based on epidemiological indicators. Our methodology consists of considering some outcomes that are consequences of the nonpharmaceutical interventions that a decision maker aims to make as low as possible. The peak demand for intensive care units (ICU) and the total number of days in lockdown are examples of such outcomes. If an epidemiological indicator is used to trigger the interventions, there is naturally a trade-off between the outcomes that can be seen as a curve parameterized by the trigger threshold to be used. The computation of these curves for a group of indicators then allows the selection of the best indicator the curve of which dominates the curves of the other indicators. This methodology is illustrated using indicators in the context of COVID-19 using deterministic compartmental models in discrete-time, although the framework can be adapted for a larger class of models.
△ Less
Submitted 30 October, 2020;
originally announced November 2020.
-
Global Optimization via the Dual SONC Cone and Linear Programming
Authors:
Mareike Dressler,
Janin Heuer,
Helen Naumann,
Timo de Wolff
Abstract:
Using the dual cone of sums of nonnegative circuits (SONC), we provide a relaxation of the global optimization problem to minimize an exponential sum and, as a special case, a multivariate real polynomial. Our approach builds on two key observations. First, that the dual SONC cone is contained in the primal one. Hence, containment in this cone is a certificate of nonnegativity. Second, we show tha…
▽ More
Using the dual cone of sums of nonnegative circuits (SONC), we provide a relaxation of the global optimization problem to minimize an exponential sum and, as a special case, a multivariate real polynomial. Our approach builds on two key observations. First, that the dual SONC cone is contained in the primal one. Hence, containment in this cone is a certificate of nonnegativity. Second, we show that membership in the dual cone can be verified by a linear program. We implement the algorithm and present initial experimental results comparing our method to existing approaches.
△ Less
Submitted 22 October, 2020; v1 submitted 21 February, 2020;
originally announced February 2020.
-
The kinetic space of multistationarity in dual phosphorylation
Authors:
E. Feliu,
N. Kaihnsa,
T. de Wolff,
O. Yürük
Abstract:
Multistationarity in molecular systems underlies switch-like responses in cellular decision making. Determining whether and when a system displays multistationarity is in general a difficult problem. In this work we completely determine the set of kinetic parameters that enable multistationarity in a ubiquitous motif involved in cell signaling, namely a dual phosphorylation cycle. In addition we s…
▽ More
Multistationarity in molecular systems underlies switch-like responses in cellular decision making. Determining whether and when a system displays multistationarity is in general a difficult problem. In this work we completely determine the set of kinetic parameters that enable multistationarity in a ubiquitous motif involved in cell signaling, namely a dual phosphorylation cycle. In addition we show that the regions of multistationarity and monostationarity are both path connected.
We model the dynamics of the concentrations of the proteins over time by means of a parametrized polynomial ordinary differential equation (ODE) system arising from the mass-action assumption. Since this system has three linear first integrals defined by the total amounts of the substrate and the two enzymes, we study for what parameter values the ODE system has at least two positive steady states after suitably choosing the total amounts. We employ a suite of techniques from (real) algebraic geometry, which in particular concern the study of the signs of a multivariate polynomial over the positive orthant and sums of nonnegative circuit polynomials.
△ Less
Submitted 14 April, 2020; v1 submitted 22 January, 2020;
originally announced January 2020.
-
A Polyhedral Homotopy Algorithm For Real Zeros
Authors:
Alperen A. Ergür,
Timo de Wolff
Abstract:
We design a homotopy continuation algorithm, that is based on numerically tracking Viro's patchworking method, for finding real zeros of sparse polynomial systems. The algorithm is targeted for polynomial systems with coefficients satisfying certain concavity conditions. It operates entirely over the real numbers and tracks the optimal number of solution paths. In more technical terms; we design a…
▽ More
We design a homotopy continuation algorithm, that is based on numerically tracking Viro's patchworking method, for finding real zeros of sparse polynomial systems. The algorithm is targeted for polynomial systems with coefficients satisfying certain concavity conditions. It operates entirely over the real numbers and tracks the optimal number of solution paths. In more technical terms; we design an algorithm that correctly counts and finds the real zeros of polynomial systems that are located in the unbounded components of the complement of the underlying A-discriminant amoeba.
△ Less
Submitted 31 July, 2022; v1 submitted 4 October, 2019;
originally announced October 2019.
-
Initial Steps in the Classification of Maximal Mediated Sets
Authors:
Jacob Hartzer,
Olivia Röhrig,
Timo de Wolff,
Oğuzhan Yürük
Abstract:
Maximal mediated sets (MMS), introduced by Reznick, are distinguished subsets of lattice points in integral polytopes with even vertices. MMS of Newton polytopes of AGI-forms and nonnegative circuit polynomials determine whether these polynomials are sums of squares. In this article, we take initial steps in classifying MMS both theoretically and practically. Theoretically, we show that MMS of sim…
▽ More
Maximal mediated sets (MMS), introduced by Reznick, are distinguished subsets of lattice points in integral polytopes with even vertices. MMS of Newton polytopes of AGI-forms and nonnegative circuit polynomials determine whether these polynomials are sums of squares. In this article, we take initial steps in classifying MMS both theoretically and practically. Theoretically, we show that MMS of simplices are isomorphic if and only if the simplices generate the same lattice up to permutations. Furthermore, we generalize a result of Iliman and the third author. Practically, we fully characterize the MMS for all simplices of sufficiently small dimensions and maximal 1-norms. In particular, we experimentally prove a conjecture by Reznick for 2 dimensional simplices up to maximal 1-norm 150 and provide indications on the distribution of the density of MMS.
△ Less
Submitted 10 July, 2020; v1 submitted 1 October, 2019;
originally announced October 2019.
-
The algebraic boundary of the sonc cone
Authors:
Jens Forsgård,
Timo de Wolff
Abstract:
In this article, we explore the connections between nonnegativity, the theory of $A$-discriminants, and tropical geometry. For an integral support set $A \subset \mathbb{Z}^n$, we cover the boundary of the sonc-cone by semi-algebraic sets that are parametrized by families of tropical hypersurfaces. As an application, we characterization generic support sets for which the sonc-cone is equal to the…
▽ More
In this article, we explore the connections between nonnegativity, the theory of $A$-discriminants, and tropical geometry. For an integral support set $A \subset \mathbb{Z}^n$, we cover the boundary of the sonc-cone by semi-algebraic sets that are parametrized by families of tropical hypersurfaces. As an application, we characterization generic support sets for which the sonc-cone is equal to the sparse nonnegativity cone, and we describe a semi-algebraic stratification of the boundary of the sonc-cone in the univariate case.
△ Less
Submitted 20 August, 2021; v1 submitted 12 May, 2019;
originally announced May 2019.
-
New Dependencies of Hierarchies in Polynomial Optimization
Authors:
Adam Kurpisz,
Timo de Wolff
Abstract:
We compare four key hierarchies for solving Constrained Polynomial Optimization Problems (CPOP): Sum of Squares (SOS), Sum of Diagonally Dominant Polynomials (SDSOS), Sum of Nonnegative Circuits (SONC), and the Sherali Adams (SA) hierarchies. We prove a collection of dependencies among these hierarchies both for general CPOPs and for optimization problems on the Boolean hypercube. Key results incl…
▽ More
We compare four key hierarchies for solving Constrained Polynomial Optimization Problems (CPOP): Sum of Squares (SOS), Sum of Diagonally Dominant Polynomials (SDSOS), Sum of Nonnegative Circuits (SONC), and the Sherali Adams (SA) hierarchies. We prove a collection of dependencies among these hierarchies both for general CPOPs and for optimization problems on the Boolean hypercube. Key results include for the general case that the SONC and SOS hierarchy are polynomially incomparable, while SDSOS is contained in SONC. A direct consequence is the non-existence of a Putinar-like Positivstellensatz for SDSOS. On the Boolean hypercube, we show as a main result that Schmüdgen-like versions of the hierarchies SDSOS*, SONC*, and SA* are polynomially equivalent. Moreover, we show that SA* is contained in any Schmüdgen-like hierarchy that provides a O(n) degree bound.
△ Less
Submitted 12 March, 2019;
originally announced March 2019.
-
Exact Optimization via Sums of Nonnegative Circuits and Sums of AM/GM Exponentials
Authors:
Victor Magron,
Henning Seidler,
Timo de Wolff
Abstract:
We provide two hybrid numeric-symbolic optimization algorithms, computing exact sums of nonnegative circuits (SONC) and sums of arithmetic-geometric-exponentials (SAGE) decompositions. Moreover, we provide a hybrid numeric-symbolic decision algorithm for polynomials lying in the interior of the SAGE cone. Each framework, inspired by previous contributions of Parrilo and Peyrl, is a rounding-projec…
▽ More
We provide two hybrid numeric-symbolic optimization algorithms, computing exact sums of nonnegative circuits (SONC) and sums of arithmetic-geometric-exponentials (SAGE) decompositions. Moreover, we provide a hybrid numeric-symbolic decision algorithm for polynomials lying in the interior of the SAGE cone. Each framework, inspired by previous contributions of Parrilo and Peyrl, is a rounding-projection procedure.
For a polynomial lying in the interior of the SAGE cone, we prove that the decision algorithm terminates within a number of arithmetic operations, which is polynomial in the number of terms of the input, and linear in the distance to the boundary of the cone. We also provide experimental comparisons regarding the implementation of the two optimization algorithms.
△ Less
Submitted 20 August, 2021; v1 submitted 6 February, 2019;
originally announced February 2019.
-
Computing Elimination Ideals and Discriminants of Likelihood Equations
Authors:
Xiaoxian Tang,
Timo De Wolff,
Rukai Zhao
Abstract:
We develop a probabilistic algorithm for computing elimination ideals of likelihood equations, which is for larger models by far more efficient than directly computing Groebner bases or the interpolation method proposed in the first author's previous work. The efficiency is improved by a theoretical result showing that the sum of data variables appears in most coefficients of the generator polynom…
▽ More
We develop a probabilistic algorithm for computing elimination ideals of likelihood equations, which is for larger models by far more efficient than directly computing Groebner bases or the interpolation method proposed in the first author's previous work. The efficiency is improved by a theoretical result showing that the sum of data variables appears in most coefficients of the generator polynomial of elimination ideal. Furthermore, applying the known structures of Newton polytopes of discriminants, we can also efficiently deduce discriminants of the elimination ideals. For instance, the discriminants of 3 by 3 matrix model and one Jukes-Cantor model in phylogenetics (with sizes over 30 GB and 8 GB text files, respectively) can be computed by our methods.
△ Less
Submitted 12 October, 2018;
originally announced October 2018.
-
An Experimental Comparison of SONC and SOS Certificates for Unconstrained Optimization
Authors:
Henning Seidler,
Timo de Wolff
Abstract:
Finding the minimum of a multivariate real polynomial is a well-known hard problem with various applications. We present a polynomial time algorithm to approximate such lower bounds via sums of nonnegative circuit polynomials (SONC). As a main result, we carry out the first large-scale comparison of SONC, using this algorithm and different geometric programming (GP) solvers, with the classical sum…
▽ More
Finding the minimum of a multivariate real polynomial is a well-known hard problem with various applications. We present a polynomial time algorithm to approximate such lower bounds via sums of nonnegative circuit polynomials (SONC). As a main result, we carry out the first large-scale comparison of SONC, using this algorithm and different geometric programming (GP) solvers, with the classical sums of squares (SOS) approach, using several of the most common semidefinite programming (SDP) solvers. SONC yields bounds competitive to SOS in several cases, but using significantly less time and memory. In particular, SONC/GP can handle much larger problem instances than SOS/SDP.
△ Less
Submitted 25 August, 2018;
originally announced August 2018.
-
Optimization over the Boolean Hypercube via Sums of Nonnegative Circuit Polynomials
Authors:
Mareike Dressler,
Adam Kurpisz,
Timo de Wolff
Abstract:
Various key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems are based on sums of squares (SOS) as nonnegativity certificates. In this article, we initiate the analysis of optimization problems over the boolean hypercube via a recent, alt…
▽ More
Various key problems from theoretical computer science can be expressed as polynomial optimization problems over the boolean hypercube. One particularly successful way to prove complexity bounds for these types of problems are based on sums of squares (SOS) as nonnegativity certificates. In this article, we initiate the analysis of optimization problems over the boolean hypercube via a recent, alternative certificate called sums of nonnegative circuit polynomials (SONC). We show that key results for SOS based certificates remain valid: First, for polynomials, which are nonnegative over the $n$-variate boolean hypercube with constraints of degree $d$ there exists a SONC certificate of degree at most $n+d$. Second, if there exists a degree $d$ SONC certificate for nonnegativity of a polynomial over the boolean hypercube, then there also exists a short degree $d$ SONC certificate, that includes at most $n^{O(d)}$ nonnegative circuit polynomials.
△ Less
Submitted 27 February, 2018;
originally announced February 2018.
-
Nondegenerate multistationarity in small reaction networks
Authors:
Anne Shiu,
Timo de Wolff
Abstract:
Much attention has been focused in recent years on the following algebraic problem arising from applications: which chemical reaction networks, when taken with mass-action kinetics, admit multiple positive steady states? The interest behind this question is in steady states that are stable. As a step toward this difficult question, here we address the question of multiple nondegenerate positive st…
▽ More
Much attention has been focused in recent years on the following algebraic problem arising from applications: which chemical reaction networks, when taken with mass-action kinetics, admit multiple positive steady states? The interest behind this question is in steady states that are stable. As a step toward this difficult question, here we address the question of multiple nondegenerate positive steady states. Mathematically, this asks whether certain families of parametrized, real, sparse polynomial systems ever admit multiple positive real roots that are simple. Our main results settle this problem for certain types of small networks, and our techniques point the way forward for larger networks.
△ Less
Submitted 5 June, 2018; v1 submitted 31 January, 2018;
originally announced February 2018.
-
The Lattice of Amoebas
Authors:
Jens Forsgård,
Timo de Wolff
Abstract:
We study amoebas of exponential sums as functions of the support set $A$. To any amoeba, we associate a set of approximating sections of amoebas, which we call caissons. We show that a bounded modular lattice of subspaces of a certain vector space induces a lattice structure on the set of caissons. Our results unifies the theories of lopsided amoebas and amoebas of exponential sums. As an applicat…
▽ More
We study amoebas of exponential sums as functions of the support set $A$. To any amoeba, we associate a set of approximating sections of amoebas, which we call caissons. We show that a bounded modular lattice of subspaces of a certain vector space induces a lattice structure on the set of caissons. Our results unifies the theories of lopsided amoebas and amoebas of exponential sums. As an application, we show that our theory of caissons yields improved certificates for existence of certain components of the complement of an amoeba.
△ Less
Submitted 10 November, 2018; v1 submitted 7 November, 2017;
originally announced November 2017.
-
Lopsided Approximation of Amoebas
Authors:
Jens Forsgård,
Laura Felicia Matusevich,
Nathan Mehlhop,
Timo de Wolff
Abstract:
The amoeba of a Laurent polynomial is the image of the corresponding hypersurface under the coordinatewise log absolute value map. In this article, we demonstrate that a theoretical amoeba approximation method due to Purbhoo can be used efficiently in practice. To do this, we resolve the main bottleneck in Purbhoo's method by exploiting relations between cyclic resultants. We use the same approach…
▽ More
The amoeba of a Laurent polynomial is the image of the corresponding hypersurface under the coordinatewise log absolute value map. In this article, we demonstrate that a theoretical amoeba approximation method due to Purbhoo can be used efficiently in practice. To do this, we resolve the main bottleneck in Purbhoo's method by exploiting relations between cyclic resultants. We use the same approach to give an approximation of the Log preimage of the amoeba of a Laurent polynomial using semi-algebraic sets. We also provide a SINGULAR/SAGE implementation of these algorithms, which shows a significant speedup when our specialized cyclic resultant computation is used, versus a general purpose resultant algorithm.
△ Less
Submitted 9 September, 2017; v1 submitted 30 August, 2016;
originally announced August 2016.
-
A Positivstellensatz for Sums of Nonnegative Circuit Polynomials
Authors:
Mareike Dressler,
Sadik Iliman,
Timo de Wolff
Abstract:
Recently, the second and the third author developed sums of nonnegative circuit polynomials (SONC) as a new certificate of nonnegativity for real polynomials, which is independent of sums of squares.
In this article we show that the SONC cone is full-dimensional in the cone of nonnegative polynomials. We establish a Positivstellensatz which guarantees that every polynomial which is positive on a…
▽ More
Recently, the second and the third author developed sums of nonnegative circuit polynomials (SONC) as a new certificate of nonnegativity for real polynomials, which is independent of sums of squares.
In this article we show that the SONC cone is full-dimensional in the cone of nonnegative polynomials. We establish a Positivstellensatz which guarantees that every polynomial which is positive on a given compact, semi-algebraic set can be represented by the constraints of the set and SONC polynomials. Based on this Positivstellensatz we provide a hierarchy of lower bounds converging against the minimum of a polynomial on a given compact set $K$. Moreover, we show that these new bounds can be computed efficiently via interior point methods using results about relative entropy functions.
△ Less
Submitted 17 March, 2017; v1 submitted 20 July, 2016;
originally announced July 2016.
-
An Approach to Constrained Polynomial Optimization via Nonnegative Circuit Polynomials and Geometric Programming
Authors:
Mareike Dressler,
Sadik Iliman,
Timo de Wolff
Abstract:
In this article we combine two developments in polynomial optimization. On the one hand, we consider nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the second and the third author. On the other hand, we investigate geometric programming methods for constrained polynomial optimization problems, which were recently developed by Ghasemi…
▽ More
In this article we combine two developments in polynomial optimization. On the one hand, we consider nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the second and the third author. On the other hand, we investigate geometric programming methods for constrained polynomial optimization problems, which were recently developed by Ghasemi and Marshall. We show that the combination of both results yields a new method to solve certain classes of constrained polynomial optimization problems. We test the new method experimentally and compare it to semidefinite programming in various examples.
△ Less
Submitted 5 June, 2018; v1 submitted 19 February, 2016;
originally announced February 2016.
-
Imaginary projections of polynomials
Authors:
Thorsten Jörgens,
Thorsten Theobald,
Timo de Wolff
Abstract:
We introduce the imaginary projection of a multivariate polynomial $f \in \mathbb{C}[\mathbf{z}]$ as the projection of the variety of $f$ onto its imaginary part, $\mathcal{I}(f) \ = \ \{\text{Im}(\mathbf{z}) \, : \, \mathbf{z} \in \mathcal{V}(f) \}$. Since a polynomial $f$ is stable if and only if $\mathcal{I}(f) \cap \mathbb{R}_{>0}^n \ = \ \emptyset$, the notion offers a novel geometric view un…
▽ More
We introduce the imaginary projection of a multivariate polynomial $f \in \mathbb{C}[\mathbf{z}]$ as the projection of the variety of $f$ onto its imaginary part, $\mathcal{I}(f) \ = \ \{\text{Im}(\mathbf{z}) \, : \, \mathbf{z} \in \mathcal{V}(f) \}$. Since a polynomial $f$ is stable if and only if $\mathcal{I}(f) \cap \mathbb{R}_{>0}^n \ = \ \emptyset$, the notion offers a novel geometric view underlying stability questions of polynomials.
We show that the connected components of the complement of the closure of the imaginary projections are convex, thus opening a central connection to the theory of amoebas and coamoebas. Building upon this, the paper establishes structural properties of the components of the complement, such as lower bounds on their maximal number, proves a complete classification of the imaginary projections of quadratic polynomials and characterizes the limit directions for polynomials of arbitrary degree.
△ Less
Submitted 31 May, 2018; v1 submitted 5 February, 2016;
originally announced February 2016.
-
Intersections of Amoebas
Authors:
Martina Juhnke-Kubitzke,
Timo de Wolff
Abstract:
Amoebas are projections of complex algebraic varieties in the algebraic torus under a Log-absolute value map, which have connections to various mathematical subjects. While amoebas of hypersurfaces have been intensively studied in recent years, the non-hypersurface case is barely understood so far.
We investigate intersections of amoebas of $n$ hypersurfaces in $(\mathbb{C}^*)^n$, which are cano…
▽ More
Amoebas are projections of complex algebraic varieties in the algebraic torus under a Log-absolute value map, which have connections to various mathematical subjects. While amoebas of hypersurfaces have been intensively studied in recent years, the non-hypersurface case is barely understood so far.
We investigate intersections of amoebas of $n$ hypersurfaces in $(\mathbb{C}^*)^n$, which are canonical supersets of amoebas given by non-hypersurface varieties. Our main results are amoeba analogs of Bernstein's Theorem and Bézout's Theorem providing an upper bound for the number of connected components of such intersections. Moreover, we show that the \emph{order map} for hypersurface amoebas can be generalized in a natural way to intersections of amoebas. In particular, analogous to the case of amoebas of hypersurfaces, the restriction of this generalized order map to a single connected component is still $1$-to-$1$.
△ Less
Submitted 4 February, 2017; v1 submitted 28 October, 2015;
originally announced October 2015.
-
A Sharp Upper Bound for the Complexity of Labeled Oriented Trees
Authors:
Moritz Christmann,
Timo de Wolff
Abstract:
A labeled oriented graph (LOG) is an oriented graph with a labeling function from the edge set into the vertex set. The complexity of a LOG is the minimal cardinality of an initial set $S$ of vertices such that every vertex can be reached successively from $S$ only using edges with labels in $S$ or already visited vertices. We give a constructive proof of a conjecture by Rosebrock stating that for…
▽ More
A labeled oriented graph (LOG) is an oriented graph with a labeling function from the edge set into the vertex set. The complexity of a LOG is the minimal cardinality of an initial set $S$ of vertices such that every vertex can be reached successively from $S$ only using edges with labels in $S$ or already visited vertices. We give a constructive proof of a conjecture by Rosebrock stating that for an interior reduced, connected LOG with $m$ vertices the complexity is at most $(m+1) / 2$ and show that this bound is sharp.
Due to results of Howie labeled oriented trees (LOTs) yield crucial candidates for counterexamples of the Whitehead Conjecture stating that every subcomplex of an aspherical 2-complex is aspherical. We explicitly describe the structure of LOTs of maximal complexity $(m+1)/2$. We conclude that the 2-complexes associated to these LOTs are always aspherical excluding them from the list of possible counterexamples.
△ Less
Submitted 23 December, 2014;
originally announced December 2014.
-
Norms of Roots of Trinomials
Authors:
Thorsten Theobald,
Timo de Wolff
Abstract:
The behavior of norms of roots of univariate trinomials $z^{s+t} + p z^t + q \in \mathbb{C}[z]$ for fixed support $A = \{0,t,s+t\} \subset \mathbb{N}$ with respect to the choice of coefficients $p,q \in \mathbb{C}$ is a classical late 19th and early 20th century problem. Although algebraically characterized by P.\ Bohl in 1908, the geometry and topology of the corresponding parameter space of coef…
▽ More
The behavior of norms of roots of univariate trinomials $z^{s+t} + p z^t + q \in \mathbb{C}[z]$ for fixed support $A = \{0,t,s+t\} \subset \mathbb{N}$ with respect to the choice of coefficients $p,q \in \mathbb{C}$ is a classical late 19th and early 20th century problem. Although algebraically characterized by P.\ Bohl in 1908, the geometry and topology of the corresponding parameter space of coefficients had yet to be revealed. Assuming $s$ and $t$ to be coprime we provide such a characterization for the space of trinomials by reinterpreting the problem in terms of amoeba theory. The roots of given norm are parameterized in terms of a hypotrochoid curve along a $\mathbb{C}$-slice of the space of trinomials, with multiple roots of this norm appearing exactly on the singularities. As a main result, we show that the set of all trinomials with support $A$ and certain roots of identical norm, as well as its complement can be deformation retracted to the torus knot $K(s+t,s)$, and thus are connected but not simply connected. An exception is the case where the $t$-th smallest norm coincides with the $(t+1)$-st smallest norm. Here, the complement has a different topology since it has fundamental group $\mathbb{Z}^2$.
△ Less
Submitted 24 October, 2015; v1 submitted 24 November, 2014;
originally announced November 2014.
-
Lower Bounds for Polynomials with Simplex Newton Polytopes Based on Geometric Programming
Authors:
Sadik Iliman,
Timo de Wolff
Abstract:
In this article, we propose a geometric programming method in order to compute lower bounds for real polynomials. We provide new sufficient conditions for polynomials to be nonnegative as well as to have a sum of binomial squares representation. These criteria rely on the coefficients and the support of a polynomial and generalize all previous ones by Lasserre, Ghasemi, Marshall, Fidalgo and Kovac…
▽ More
In this article, we propose a geometric programming method in order to compute lower bounds for real polynomials. We provide new sufficient conditions for polynomials to be nonnegative as well as to have a sum of binomial squares representation. These criteria rely on the coefficients and the support of a polynomial and generalize all previous ones by Lasserre, Ghasemi, Marshall, Fidalgo and Kovacec to polynomials with arbitrary simplex Newton polytopes.
This generalization yields a geometric programming approach for computing lower bounds for polynomials that significantly extends the geometric programming method proposed by Ghasemi and Marshall. Furthermore, it shows that geometric programming is strongly related to nonnegativity certificates based on sums of nonnegative circuit polynomials, which were recently introduced by the authors.
△ Less
Submitted 24 February, 2016; v1 submitted 25 February, 2014;
originally announced February 2014.
-
Amoebas, Nonnegative Polynomials and Sums of Squares Supported on Circuits
Authors:
Sadik Iliman,
Timo de Wolff
Abstract:
We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized by an invariant, which can be immediately derived from the initial polynomial. Furthermore, nonnegativity of such polynomials $f$ coincides with solidness of t…
▽ More
We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized by an invariant, which can be immediately derived from the initial polynomial. Furthermore, nonnegativity of such polynomials $f$ coincides with solidness of the amoeba of $f$, i.e., the Log-absolute-value image of the algebraic variety $\mathcal{V}(f) \subset (\mathbb{C}^*)^n$ of $f$.
These results generalize earlier works both in amoeba theory and real algebraic geometry by Fidalgo, Kovacec, Reznick, Theobald and de Wolff and solve an open problem by Reznick. They establish the first direct connection between amoeba theory and nonnegativity of real polynomials. Additionally, these statements yield a completely new class of nonnegativity certificates independent from sums of squares certificates.
△ Less
Submitted 24 October, 2015; v1 submitted 3 February, 2014;
originally announced February 2014.
-
The Boundary of Amoebas
Authors:
Franziska Schroeter,
Timo de Wolff
Abstract:
The computation of amoebas has been a challenging open problem for the last dozen years. The most natural approach, namely to compute an amoeba via its boundary, has not been practical so far since only a superset of the boundary, the contour, is understood in theory and computable in practice.
We define and characterize the extended boundary of an amoeba, which is sensitive to some degeneration…
▽ More
The computation of amoebas has been a challenging open problem for the last dozen years. The most natural approach, namely to compute an amoeba via its boundary, has not been practical so far since only a superset of the boundary, the contour, is understood in theory and computable in practice.
We define and characterize the extended boundary of an amoeba, which is sensitive to some degenerations that the topological boundary does not detect. Our description of the extended boundary also allows us to distinguish between the contour and the boundary. This gives rise not only to new structural results in amoeba theory, but in particular allows us to compute hypersurface amoebas via their boundary in any dimension. In dimension two this can be done using Gröbner bases alone.
We introduce the concept of amoeba bases, which are sufficient for understanding the amoeba of an ideal. We show that our characterization of the boundary is essential for the computation of these amoeba bases and we illustrate the potential of this concept by constructing amoeba bases for linear systems of equations.
△ Less
Submitted 11 June, 2016; v1 submitted 28 October, 2013;
originally announced October 2013.
-
Low Dimensional Test Sets for Nonnegativity of Even Symmetric Forms
Authors:
Sadik Iliman,
Timo de Wolff
Abstract:
An important theorem by Timofte states that nonnegativity of real $n$-variate symmetric polynomials of degree $d$ can be decided at test sets given by all points with at most $\lfloor\frac{d}{2}\rfloor$ distinct components. However, if the degree is sufficiently larger than the number of variables, then the theorem obviously does not provide nontrivial information. Our approach is to look at…
▽ More
An important theorem by Timofte states that nonnegativity of real $n$-variate symmetric polynomials of degree $d$ can be decided at test sets given by all points with at most $\lfloor\frac{d}{2}\rfloor$ distinct components. However, if the degree is sufficiently larger than the number of variables, then the theorem obviously does not provide nontrivial information. Our approach is to look at $(m + 1)$-dimensional subspaces of even symmetric forms of degree 4d, at which nonnegativity can be checked at $(m - 1)$-points, i.e., points with at most $m - 1 \in \N$ distinct components, where $m$ is independent of the degree of the forms and better than Timofte's bound. Furthermore, for fixed $k \in \N$, we tackle problems concerning the maximum dimension of such subspaces, at which nonnegativity can be checked at all $k$-points, as well as the geometrical and topological structure of the set of all forms whose nonnegativity can be decided at all $k$-points.
△ Less
Submitted 18 March, 2013;
originally announced March 2013.
-
Separating inequalities for nonnegative polynomials that are not sums of squares
Authors:
Sadik Iliman,
Timo de Wolff
Abstract:
Ternary sextics and quaternary quartics are the smallest cases where there exist nonnegative polynomials that are not sums of squares (SOS). A complete classification of the difference between these cones was given by G. Blekherman via analyzing the extreme rays of the corresponding dual cones. However, an exact computational approach in order to build separating extreme rays for nonnegative polyn…
▽ More
Ternary sextics and quaternary quartics are the smallest cases where there exist nonnegative polynomials that are not sums of squares (SOS). A complete classification of the difference between these cones was given by G. Blekherman via analyzing the extreme rays of the corresponding dual cones. However, an exact computational approach in order to build separating extreme rays for nonnegative polynomials that are not sums of squares is a widely open problem. We provide a method substantially simplifying this computation for certain classes of polynomials on the boundary of the PSD cones. In particular, our method yields separating extreme rays for every nonnegative ternary sextic with at least seven zeros. As an application to further instances, we compute a rational certificate proving that the Motzkin polynomial is not SOS.
△ Less
Submitted 1 August, 2012; v1 submitted 19 January, 2012;
originally announced January 2012.
-
Amoebas of genus at most one
Authors:
Thorsten Theobald,
Timo de Wolff
Abstract:
The amoeba of a Laurent polynomial $f \in \C[z_1^{\pm 1},\ldots,z_n^{\pm 1}]$ is the image of its zero set $\mathcal{V}(f)$ under the log-absolute-value map. Understanding the space of amoebas (i.e., the decomposition of the space of all polynomials, say, with given support or Newton polytope, with regard to the existing complement components) is a widely open problem.
In this paper we investiga…
▽ More
The amoeba of a Laurent polynomial $f \in \C[z_1^{\pm 1},\ldots,z_n^{\pm 1}]$ is the image of its zero set $\mathcal{V}(f)$ under the log-absolute-value map. Understanding the space of amoebas (i.e., the decomposition of the space of all polynomials, say, with given support or Newton polytope, with regard to the existing complement components) is a widely open problem.
In this paper we investigate the class of polynomials $f$ whose Newton polytope $\New(f)$ is a simplex and whose support $A$ contains exactly one point in the interior of $\New(f)$. Amoebas of polynomials in this class may have at most one bounded complement component. We provide various results on the space of these amoebas. In particular, we give upper and lower bounds in terms of the coefficients of $f$ for the existence of this complement component and show that the upper bound becomes sharp under some extremal condition. We establish connections from our bounds to Purbhoo's lopsidedness criterion and to the theory of $A$-discriminants.
Finally, we provide a complete classification of the space of amoebas for the case that the exponent of the inner monomial is the barycenter of the simplex Newton polytope. In particular, we show that the set of all polynomials with amoebas of genus 1 is path-connected in the corresponding space of amoebas, which proves a special case of the question on connectivity (for general Newton polytopes) stated by H. Rullgård.
△ Less
Submitted 23 April, 2013; v1 submitted 11 August, 2011;
originally announced August 2011.
-
Approximating amoebas and coamoebas by sums of squares
Authors:
Thorsten Theobald,
Timo de Wolff
Abstract:
Amoebas and coamoebas are the logarithmic images of algebraic varieties and the images of algebraic varieties under the arg-map, respectively. We present new techniques for computational problems on amoebas and coamoebas, thus establishing new connections between (co-)amoebas, semialgebraic and convex algebraic geometry and semidefinite programming.
Our approach is based on formulating the membe…
▽ More
Amoebas and coamoebas are the logarithmic images of algebraic varieties and the images of algebraic varieties under the arg-map, respectively. We present new techniques for computational problems on amoebas and coamoebas, thus establishing new connections between (co-)amoebas, semialgebraic and convex algebraic geometry and semidefinite programming.
Our approach is based on formulating the membership problem in amoebas (respectively coamoebas) as a suitable real algebraic feasibility problem. Using the real Nullstellensatz, this allows to tackle the problem by sums of squares techniques and semidefinite programming. Our method yields polynomial identities as certificates of non-containment of a point in an amoeba or coamoeba. As the main theoretical result, we establish some degree bounds on the polynomial certificates. Moreover, we provide some actual computations of amoebas based on the sums of squares approach.
△ Less
Submitted 13 June, 2013; v1 submitted 21 January, 2011;
originally announced January 2011.
-
Polytopes with Special Simplices
Authors:
Timo de Wolff
Abstract:
For a polytope P a simplex S with vertex set V(S) is called a special simplex if every facet of P contains all but exactly one vertex of S. For such polytopes P with face complex F(P) containing a special simplex the subcomplex F(P) / V(S) of all faces not containing vertices of S is the boundary of a polytope Q - the basis polytope of P. If additionally the dimension of the affine basis space of…
▽ More
For a polytope P a simplex S with vertex set V(S) is called a special simplex if every facet of P contains all but exactly one vertex of S. For such polytopes P with face complex F(P) containing a special simplex the subcomplex F(P) / V(S) of all faces not containing vertices of S is the boundary of a polytope Q - the basis polytope of P. If additionally the dimension of the affine basis space of F(P) / V(S) equals dim(Q), we call P meek; otherwise we call P wild. We give a full combinatorial classification and techniques for geometric construction of the class of meek polytopes with special simplices. We show that every wild polytope P' with special simplex can be constructed out of a particular meek one P by intersecting P with particular hyperplanes. It is non-trivial to find all these hyperplanes for an arbitrary basis polytope; we give an exact description for 2-basis polytopes. Furthermore we show that the f-vector of each wild polytope with special simplex is component wise bounded above by the f-vector of a particular meek one which can be computed explicitly. Finally, we discuss the n-cube as a non-trivial example of a wild polytope with special simplex and prove that its basis polytope is the zonotope given by the Minkowski sum of the (n-1)-cube and the vector (1,...,1). Polytopes with special simplex have applications on Ehrhart theory, toric rings and were just used by Francisco Santos to construct a counter-example disproving the Hirsch conjecture.
△ Less
Submitted 30 September, 2010;
originally announced September 2010.
