-
Smooth connectivity in real algebraic varieties
Authors:
Joseph Cummings,
Jonathan D. Hauenstein,
Hoon Hong,
Clifford D. Smyth
Abstract:
A standard question in real algebraic geometry is to compute the number of connected components of a real algebraic variety in affine space. By adapting an approach for determining connectivity in complements of real hypersurfaces by Hong, Rohal, Safey El Din, and Schost, algorithms are presented for computing the number of connected components, the Euler characteristic, and deciding the connectiv…
▽ More
A standard question in real algebraic geometry is to compute the number of connected components of a real algebraic variety in affine space. By adapting an approach for determining connectivity in complements of real hypersurfaces by Hong, Rohal, Safey El Din, and Schost, algorithms are presented for computing the number of connected components, the Euler characteristic, and deciding the connectivity between two points for a smooth manifold arising as the complement of a real hypersurface of a real algebraic variety. When taking such real hypersurface to be the set of singular points, this yields an approach for determining smooth connectivity in a real algebraic variety. The method is based upon gradient ascent/descent paths on the real algebraic variety and several examples are included to demonstrate the approach.
△ Less
Submitted 28 May, 2024;
originally announced May 2024.
-
Robust Numerical Algebraic Geometry
Authors:
Emma R. Cobian,
Jonathan D. Hauenstein,
Charles W. Wampler
Abstract:
The field of numerical algebraic geometry consists of algorithms for numerically solving systems of polynomial equations. When the system is exact, such as having rational coefficients, the solution set is well-defined. However, for a member of a parameterized family of polynomial systems where the parameter values may be measured with imprecision or arise from prior numerical computations, uncert…
▽ More
The field of numerical algebraic geometry consists of algorithms for numerically solving systems of polynomial equations. When the system is exact, such as having rational coefficients, the solution set is well-defined. However, for a member of a parameterized family of polynomial systems where the parameter values may be measured with imprecision or arise from prior numerical computations, uncertainty may arise in the structure of the solution set, including the number of isolated solutions, the existence of higher dimensional solution components, and the number of irreducible components along with their multiplicities. The loci where these structures change form a stratification of exceptional algebraic sets in the space of parameters. We describe methodologies for making the interpretation of numerical results more robust by searching for nearby parameter values on an exceptional set. We demonstrate these techniques on several illustrative examples and then treat several more substantial problems arising from the kinematics of mechanisms and robots.
△ Less
Submitted 27 March, 2024;
originally announced March 2024.
-
A numerical method for solving elliptic equations on real closed algebraic curves and surfaces
Authors:
Wenrui Hao,
Jonathan D. Hauenstein,
Margaret H. Regan,
Tingting Tang
Abstract:
There are many numerical methods for solving partial different equations (PDEs) on manifolds such as classical implicit, finite difference, finite element, and isogeometric analysis methods which aim at improving the interoperability between finite element method and computer aided design (CAD) software. However, these approaches have difficulty when the domain has singularities since the solution…
▽ More
There are many numerical methods for solving partial different equations (PDEs) on manifolds such as classical implicit, finite difference, finite element, and isogeometric analysis methods which aim at improving the interoperability between finite element method and computer aided design (CAD) software. However, these approaches have difficulty when the domain has singularities since the solution at the singularity may be multivalued. This paper develops a novel numerical approach to solve elliptic PDEs on real, closed, connected, orientable, and almost smooth algebraic curves and surfaces. Our method integrates numerical algebraic geometry, differential geometry, and a finite difference scheme which is demonstrated on several examples.
△ Less
Submitted 16 November, 2023;
originally announced November 2023.
-
HomOpt: A Homotopy-Based Hyperparameter Optimization Method
Authors:
Sophia J. Abraham,
Kehelwala D. G. Maduranga,
Jeffery Kinnison,
Zachariah Carmichael,
Jonathan D. Hauenstein,
Walter J. Scheirer
Abstract:
Machine learning has achieved remarkable success over the past couple of decades, often attributed to a combination of algorithmic innovations and the availability of high-quality data available at scale. However, a third critical component is the fine-tuning of hyperparameters, which plays a pivotal role in achieving optimal model performance. Despite its significance, hyperparameter optimization…
▽ More
Machine learning has achieved remarkable success over the past couple of decades, often attributed to a combination of algorithmic innovations and the availability of high-quality data available at scale. However, a third critical component is the fine-tuning of hyperparameters, which plays a pivotal role in achieving optimal model performance. Despite its significance, hyperparameter optimization (HPO) remains a challenging task for several reasons. Many HPO techniques rely on naive search methods or assume that the loss function is smooth and continuous, which may not always be the case. Traditional methods, like grid search and Bayesian optimization, often struggle to quickly adapt and efficiently search the loss landscape. Grid search is computationally expensive, while Bayesian optimization can be slow to prime. Since the search space for HPO is frequently high-dimensional and non-convex, it is often challenging to efficiently find a global minimum. Moreover, optimal hyperparameters can be sensitive to the specific dataset or task, further complicating the search process. To address these issues, we propose a new hyperparameter optimization method, HomOpt, using a data-driven approach based on a generalized additive model (GAM) surrogate combined with homotopy optimization. This strategy augments established optimization methodologies to boost the performance and effectiveness of any given method with faster convergence to the optimum on continuous, discrete, and categorical domain spaces. We compare the effectiveness of HomOpt applied to multiple optimization techniques (e.g., Random Search, TPE, Bayes, and SMAC) showing improved objective performance on many standardized machine learning benchmarks and challenging open-set recognition tasks.
△ Less
Submitted 7 August, 2023;
originally announced August 2023.
-
LINFA: a Python library for variational inference with normalizing flow and annealing
Authors:
Yu Wang,
Emma R. Cobian,
Jubilee Lee,
Fang Liu,
Jonathan D. Hauenstein,
Daniele E. Schiavazzi
Abstract:
Variational inference is an increasingly popular method in statistics and machine learning for approximating probability distributions. We developed LINFA (Library for Inference with Normalizing Flow and Annealing), a Python library for variational inference to accommodate computationally expensive models and difficult-to-sample distributions with dependent parameters. We discuss the theoretical b…
▽ More
Variational inference is an increasingly popular method in statistics and machine learning for approximating probability distributions. We developed LINFA (Library for Inference with Normalizing Flow and Annealing), a Python library for variational inference to accommodate computationally expensive models and difficult-to-sample distributions with dependent parameters. We discuss the theoretical background, capabilities, and performance of LINFA in various benchmarks. LINFA is publicly available on GitHub at https://github.com/desResLab/LINFA.
△ Less
Submitted 14 July, 2023; v1 submitted 10 July, 2023;
originally announced July 2023.
-
Max-convolution through numerics and tropical geometry
Authors:
Taylor Brysiewicz,
Jonathan D. Hauenstein,
Caroline Hills
Abstract:
The maximum function, on vectors of real numbers, is not differentiable. Consequently, several differentiable approximations of this function are popular substitutes. We survey three smooth functions which approximate the maximum function and analyze their convergence rates. We interpret these functions through the lens of tropical geometry, where their performance differences are geometrically sa…
▽ More
The maximum function, on vectors of real numbers, is not differentiable. Consequently, several differentiable approximations of this function are popular substitutes. We survey three smooth functions which approximate the maximum function and analyze their convergence rates. We interpret these functions through the lens of tropical geometry, where their performance differences are geometrically salient. As an application, we provide an algorithm which computes the max-convolution of two integer vectors in quasi-linear time. We show this algorithm's power in computing adjacent sums within a vector as well as computing service curves in a network analysis application.
△ Less
Submitted 20 June, 2023;
originally announced June 2023.
-
Numerical Nonlinear Algebra
Authors:
Daniel J. Bates,
Paul Breiding,
Tianran Chen,
Jonathan D. Hauenstein,
Anton Leykin,
Frank Sottile
Abstract:
Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of Bézout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure…
▽ More
Numerical nonlinear algebra is a computational paradigm that uses numerical analysis to study polynomial equations. Its origins were methods to solve systems of polynomial equations based on the classical theorem of Bézout. This was decisively linked to modern developments in algebraic geometry by the polyhedral homotopy algorithm of Huber and Sturmfels, which exploits the combinatorial structure of the equations and led to efficient software for solving polynomial equations.
Subsequent growth of numerical nonlinear algebra continues to be informed by algebraic geometry and its applications. These include new approaches to solving, algorithms for studying positive-dimensional varieties, certification, and a range of applications both within mathematics and from other disciplines. With new implementations, numerical nonlinear algebra is now a fundamental computational tool for algebraic geometry and its applications. We survey some of these innovations and some recent applications.
△ Less
Submitted 6 March, 2024; v1 submitted 16 February, 2023;
originally announced February 2023.
-
Output Mode Switching for Parallel Five-bar Manipulators Using a Graph-based Path Planner
Authors:
Parker B. Edwards,
Aravind Baskar,
Caroline Hills,
Mark Plecnik,
Jonathan D. Hauenstein
Abstract:
The configuration manifolds of parallel manipulators exhibit more nonlinearity than serial manipulators. Qualitatively, they can be seen to possess extra folds. By projecting such manifolds onto spaces of engineering relevance, such as an output workspace or an input actuator space, these folds cast edges that exhibit nonsmooth behavior. For example, inside the global workspace bounds of a five-ba…
▽ More
The configuration manifolds of parallel manipulators exhibit more nonlinearity than serial manipulators. Qualitatively, they can be seen to possess extra folds. By projecting such manifolds onto spaces of engineering relevance, such as an output workspace or an input actuator space, these folds cast edges that exhibit nonsmooth behavior. For example, inside the global workspace bounds of a five-bar linkage appear several local workspace bounds that only constrain certain output modes of the mechanism. The presence of such boundaries, which manifest in both input and output projections, serve as a source of confusion when these projections are studied exclusively instead of the configuration manifold itself. Particularly, the design of nonsymmetric parallel manipulators has been confounded by the presence of exotic projections in their input and output spaces. In this paper, we represent the configuration space with a radius graph, then weight each edge by solving an optimization problem using homotopy continuation to quantify transmission quality. We then employ a graph path planner to approximate geodesics between configuration points that avoid regions of low transmission quality. Our methodology automatically generates paths capable of transitioning between non-neighboring output modes, a motion which involves osculating multiple workspace boundaries (local, global, or both). We apply our technique to two nonsymmetric five-bar examples that demonstrate how transmission properties and other characteristics of the workspace can be selected by switching output modes.
△ Less
Submitted 21 September, 2022;
originally announced September 2022.
-
Computing geometric feature sizes for algebraic manifolds
Authors:
Sandra Di Rocco,
Parker B. Edwards,
David Eklund,
Oliver Gäfvert,
Jonathan D. Hauenstein
Abstract:
We introduce numerical algebraic geometry methods for computing lower bounds on the reach, local feature size, and the weak feature size of the real part of an equidimensional and smooth algebraic variety using the variety's defining polynomials as input. For the weak feature size, we also show that non-quadratic complete intersections generically have finitely many geometric bottlenecks, and desc…
▽ More
We introduce numerical algebraic geometry methods for computing lower bounds on the reach, local feature size, and the weak feature size of the real part of an equidimensional and smooth algebraic variety using the variety's defining polynomials as input. For the weak feature size, we also show that non-quadratic complete intersections generically have finitely many geometric bottlenecks, and describe how to compute the weak feature size directly rather than a lower bound in this case. In all other cases, we describe additional computations that can be used to determine feature size values rather than lower bounds. We also present homology inference experiments that combine persistent homology computations with implemented versions of our feature size algorithms, both with globally dense samples and samples that are adaptively dense with respect to the local feature size.
△ Less
Submitted 4 September, 2022;
originally announced September 2022.
-
Some interesting birational morphisms of smooth affine quadric $3$-folds
Authors:
Cinzia Bisi,
Jonathan D. Hauenstein,
Tuyen Trung Truong
Abstract:
We study a family of birational maps of smooth affine quadric 3-folds, {over the complex numbers}, of the form $x_1x_4-x_2x_3=$ constant, which seems to have some (among many others) interesting/unexpected characters: a) they are cohomologically hyperbolic, b) their second dynamical degree is an algebraic number but not an algebraic integer, and c) the logarithmic growth of their periodic points i…
▽ More
We study a family of birational maps of smooth affine quadric 3-folds, {over the complex numbers}, of the form $x_1x_4-x_2x_3=$ constant, which seems to have some (among many others) interesting/unexpected characters: a) they are cohomologically hyperbolic, b) their second dynamical degree is an algebraic number but not an algebraic integer, and c) the logarithmic growth of their periodic points is strictly smaller than their algebraic entropy. These maps are restrictions of a polynomial map on $\mathbb{C}^4$ preserving each of the quadrics. The study in this paper is a mixture of rigorous and experimental ones, where for the experimental study we rely on Bertini which is a reliable and fast software for expensive numerical calculations in complex algebraic geometry.
△ Less
Submitted 10 May, 2024; v1 submitted 30 August, 2022;
originally announced August 2022.
-
AdaAnn: Adaptive Annealing Scheduler for Probability Density Approximation
Authors:
Emma R. Cobian,
Jonathan D. Hauenstein,
Fang Liu,
Daniele E. Schiavazzi
Abstract:
Approximating probability distributions can be a challenging task, particularly when they are supported over regions of high geometrical complexity or exhibit multiple modes. Annealing can be used to facilitate this task which is often combined with constant a priori selected increments in inverse temperature. However, using constant increments limit the computational efficiency due to the inabili…
▽ More
Approximating probability distributions can be a challenging task, particularly when they are supported over regions of high geometrical complexity or exhibit multiple modes. Annealing can be used to facilitate this task which is often combined with constant a priori selected increments in inverse temperature. However, using constant increments limit the computational efficiency due to the inability to adapt to situations where smooth changes in the annealed density could be handled equally well with larger increments. We introduce AdaAnn, an adaptive annealing scheduler that automatically adjusts the temperature increments based on the expected change in the Kullback-Leibler divergence between two distributions with a sufficiently close annealing temperature. AdaAnn is easy to implement and can be integrated into existing sampling approaches such as normalizing flows for variational inference and Markov chain Monte Carlo. We demonstrate the computational efficiency of the AdaAnn scheduler for variational inference with normalizing flows on a number of examples, including density approximation and parameter estimation for dynamical systems.
△ Less
Submitted 1 February, 2022;
originally announced February 2022.
-
On the equations defining some Hilbert schemes
Authors:
Jonathan D. Hauenstein,
Laurent Manivel,
Balazs Szendroi
Abstract:
We work out details of the extrinsic geometry for two Hilbert schemes of some contemporary interest: the Hilbert scheme of two points on the projective plane and the dense open set parametrizing non-planar clusters in the punctual Hilbert scheme of clusters of length four on affine three-space with support at the origin. We find explicit equations in natural projective, respectively affine embeddi…
▽ More
We work out details of the extrinsic geometry for two Hilbert schemes of some contemporary interest: the Hilbert scheme of two points on the projective plane and the dense open set parametrizing non-planar clusters in the punctual Hilbert scheme of clusters of length four on affine three-space with support at the origin. We find explicit equations in natural projective, respectively affine embeddings for these spaces. In particular, we answer a question of Bernd Sturmfels who asked for a description of the latter space that is amenable to further computations. While the explicit equations we find are controlled in a precise way by the representation theory of SL_3, our arguments also rely on computer algebra.
△ Less
Submitted 26 November, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Certified evaluations of Hölder continuous functions at roots of polynomials
Authors:
Parker B. Edwards,
Jonathan D. Hauenstein,
Clifford D. Smyth
Abstract:
Various methods can obtain certified estimates for roots of polynomials. Many applications in science and engineering additionally utilize the value of functions evaluated at roots. For example, critical values are obtained by evaluating an objective function at critical points. For analytic evaluation functions, Newton's method naturally applies to yield certified estimates. These estimates no lo…
▽ More
Various methods can obtain certified estimates for roots of polynomials. Many applications in science and engineering additionally utilize the value of functions evaluated at roots. For example, critical values are obtained by evaluating an objective function at critical points. For analytic evaluation functions, Newton's method naturally applies to yield certified estimates. These estimates no longer apply, however, for Hölder continuous functions, which are a generalization of Lipschitz continuous functions where continuous derivatives need not exist. This work develops and analyzes an alternative approach for certified estimates of evaluating locally Hölder continuous functions at roots of polynomials. An implementation of the method in Maple demonstrates efficacy and efficiency.
△ Less
Submitted 29 January, 2021;
originally announced February 2021.
-
Machine learning the real discriminant locus
Authors:
Edgar A. Bernal,
Jonathan D. Hauenstein,
Dhagash Mehta,
Margaret H. Regan,
Tingting Tang
Abstract:
Parameterized systems of polynomial equations arise in many applications in science and engineering with the real solutions describing, for example, equilibria of a dynamical system, linkages satisfying design constraints, and scene reconstruction in computer vision. Since different parameter values can have a different number of real solutions, the parameter space is decomposed into regions whose…
▽ More
Parameterized systems of polynomial equations arise in many applications in science and engineering with the real solutions describing, for example, equilibria of a dynamical system, linkages satisfying design constraints, and scene reconstruction in computer vision. Since different parameter values can have a different number of real solutions, the parameter space is decomposed into regions whose boundary forms the real discriminant locus. This article views locating the real discriminant locus as a supervised classification problem in machine learning where the goal is to determine classification boundaries over the parameter space, with the classes being the number of real solutions. For multidimensional parameter spaces, this article presents a novel sampling method which carefully samples the parameter space. At each sample point, homotopy continuation is used to obtain the number of real solutions to the corresponding polynomial system. Machine learning techniques including nearest neighbor and deep learning are used to efficiently approximate the real discriminant locus. One application of having learned the real discriminant locus is to develop a real homotopy method that only tracks the real solution paths unlike traditional methods which track all~complex~solution~paths. Examples show that the proposed approach can efficiently approximate complicated solution boundaries such as those arising from the equilibria of the Kuramoto model.
△ Less
Submitted 8 August, 2022; v1 submitted 24 June, 2020;
originally announced June 2020.
-
Using monodromy to statistically estimate the number of solutions
Authors:
Jonathan D. Hauenstein,
Samantha N. Sherman
Abstract:
Synthesis problems for linkages in kinematics often yield large structured parameterized polynomial systems which generically have far fewer solutions than traditional upper bounds would suggest. This paper describes statistical models for estimating the generic number of solutions of such parameterized polynomial systems. The new approach extends previous work on success ratios of parameter homot…
▽ More
Synthesis problems for linkages in kinematics often yield large structured parameterized polynomial systems which generically have far fewer solutions than traditional upper bounds would suggest. This paper describes statistical models for estimating the generic number of solutions of such parameterized polynomial systems. The new approach extends previous work on success ratios of parameter homotopies to using monodromy loops as well as the addition of a trace test that provides a stop** criterion for validating that all solutions have been found. Several examples are presented demonstrating the method including Watt I six-bar motion generation problems.
△ Less
Submitted 2 October, 2020; v1 submitted 24 April, 2020;
originally announced May 2020.
-
Smooth Points on Semi-algebraic Sets
Authors:
Katherine Harris,
Jonathan D. Hauenstein,
Agnes Szanto
Abstract:
Many algorithms for determining properties of real algebraic or semi-algebraic sets rely upon the ability to compute smooth points. Existing methods to compute smooth points on semi-algebraic sets use symbolic quantifier elimination tools. In this paper, we present a simple algorithm based on computing the critical points of some well-chosen function that guarantees the computation of smooth point…
▽ More
Many algorithms for determining properties of real algebraic or semi-algebraic sets rely upon the ability to compute smooth points. Existing methods to compute smooth points on semi-algebraic sets use symbolic quantifier elimination tools. In this paper, we present a simple algorithm based on computing the critical points of some well-chosen function that guarantees the computation of smooth points in each connected compact component of a real (semi)-algebraic set. Our technique is intuitive in principal, performs well on previously difficult examples, and is straightforward to implement using existing numerical algebraic geometry software. The practical efficiency of our approach is demonstrated by solving a conjecture on the number of equilibria of the Kuramoto model for the $n=4$ case. We also apply our method to design an efficient algorithm to compute the real dimension of (semi)-algebraic sets, the original motivation for this research.
△ Less
Submitted 19 May, 2023; v1 submitted 11 February, 2020;
originally announced February 2020.
-
On computing the nonlinearity interval in parametric semidefinite optimization
Authors:
Jonathan D. Hauenstein,
Ali Mohammad-Nezhad,
Tingting Tang,
Tamas Terlaky
Abstract:
This paper revisits the parametric analysis of semidefinite optimization problems with respect to the perturbation of the objective function along a fixed direction. We review the notions of invariancy set, nonlinearity interval, and transition point of the optimal partition, and we investigate their characterizations. We show that the set of transition points is finite and the continuity of the o…
▽ More
This paper revisits the parametric analysis of semidefinite optimization problems with respect to the perturbation of the objective function along a fixed direction. We review the notions of invariancy set, nonlinearity interval, and transition point of the optimal partition, and we investigate their characterizations. We show that the set of transition points is finite and the continuity of the optimal set map**, on the basis of Painlevé-Kuratowski set convergence, might fail on a nonlinearity interval. Under a local nonsingularity condition, we then develop a methodology, stemming from numerical algebraic geometry, to efficiently compute nonlinearity intervals and transition points of the optimal partition. Finally, we support the theoretical results by applying our procedure to some numerical examples.
△ Less
Submitted 29 December, 2021; v1 submitted 27 August, 2019;
originally announced August 2019.
-
Probabilistic Saturations and Alt's Problem
Authors:
Jonathan D. Hauenstein,
Martin Helmer
Abstract:
Alt's problem, formulated in 1923, is to count the number of four-bar linkages whose coupler curve interpolates nine general points in the plane. This problem can be phrased as counting the number of solutions to a system of polynomial equations which was first solved numerically using homotopy continuation by Wampler, Morgan, and Sommese in 1992. Since there is still not a proof that all solution…
▽ More
Alt's problem, formulated in 1923, is to count the number of four-bar linkages whose coupler curve interpolates nine general points in the plane. This problem can be phrased as counting the number of solutions to a system of polynomial equations which was first solved numerically using homotopy continuation by Wampler, Morgan, and Sommese in 1992. Since there is still not a proof that all solutions were obtained, we consider upper bounds for Alt's problem by counting the number of solutions outside of the base locus to a system arising as the general linear combination of polynomials. In particular, we derive effective symbolic and numeric methods for studying such systems using probabilistic saturations that can be employed using both finite fields and floating-point computations. We give bounds on the size of finite field required to achieve a desired level of certainty. These methods can also be applied to many other problems where similar systems arise such as computing the volumes of Newton-Okounkov bodies and computing intersection theoretic invariants including Euler characteristics, Chern classes, and Segre classes.
△ Less
Submitted 14 August, 2019;
originally announced August 2019.
-
A numerical toolkit for multiprojective varieties
Authors:
Jonathan D. Hauenstein,
Anton Leykin,
Jose Israel Rodriguez,
Frank Sottile
Abstract:
A numerical description of an algebraic subvariety of projective space is given by a general linear section, called a witness set. For a subvariety of a product of projective spaces (a multiprojective variety), the corresponding numerical description is given by a witness collection, whose structure is more involved. We build on recent work to develop a toolkit for the numerical manipulation of mu…
▽ More
A numerical description of an algebraic subvariety of projective space is given by a general linear section, called a witness set. For a subvariety of a product of projective spaces (a multiprojective variety), the corresponding numerical description is given by a witness collection, whose structure is more involved. We build on recent work to develop a toolkit for the numerical manipulation of multiprojective varieties that operates on witness collections, and use this toolkit in an algorithm for numerical irreducible decomposition of multiprojective varieties. The toolkit and decomposition algorithm are illustrated throughout in a series of examples.
△ Less
Submitted 29 April, 2020; v1 submitted 2 August, 2019;
originally announced August 2019.
-
Real monodromy action
Authors:
Jonathan D. Hauenstein,
Margaret H. Regan
Abstract:
The monodromy group is an invariant for parameterized systems of polynomial equations that encodes structure of the solutions over the parameter space. Since the structure of real solutions over real parameter spaces are of interest in many applications, real monodromy action is investigated here. A naive extension of monodromy action from the complex numbers to the real numbers is shown to be ver…
▽ More
The monodromy group is an invariant for parameterized systems of polynomial equations that encodes structure of the solutions over the parameter space. Since the structure of real solutions over real parameter spaces are of interest in many applications, real monodromy action is investigated here. A naive extension of monodromy action from the complex numbers to the real numbers is shown to be very restrictive. Therefore, we define a real monodromy structure which need not be a group but contains tiered characteristics about the real solutions. This real monodromy structure is applied to an example in kinematics which summarizes all the ways performing loops parameterized by leg lengths can cause a mechanism to change poses.
△ Less
Submitted 14 March, 2019;
originally announced March 2019.
-
The loss surface of deep linear networks viewed through the algebraic geometry lens
Authors:
Dhagash Mehta,
Tianran Chen,
Tingting Tang,
Jonathan D. Hauenstein
Abstract:
By using the viewpoint of modern computational algebraic geometry, we explore properties of the optimization landscapes of the deep linear neural network models. After clarifying on the various definitions of "flat" minima, we show that the geometrically flat minima, which are merely artifacts of residual continuous symmetries of the deep linear networks, can be straightforwardly removed by a gene…
▽ More
By using the viewpoint of modern computational algebraic geometry, we explore properties of the optimization landscapes of the deep linear neural network models. After clarifying on the various definitions of "flat" minima, we show that the geometrically flat minima, which are merely artifacts of residual continuous symmetries of the deep linear networks, can be straightforwardly removed by a generalized $L_2$ regularization. Then, we establish upper bounds on the number of isolated stationary points of these networks with the help of algebraic geometry. Using these upper bounds and utilizing a numerical algebraic geometry method, we find all stationary points of modest depth and matrix size. We show that in the presence of the non-zero regularization, deep linear networks indeed possess local minima which are not the global minima. Our computational results clarify certain aspects of the loss surfaces of deep linear networks and provide novel insights.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
Singular value decomposition of complexes
Authors:
Danielle A. Brake,
Jonathan D. Hauenstein,
Frank-Olaf Schreyer,
Andrew J. Sommese,
Michael E. Stillman
Abstract:
Singular value decompositions of matrices are widely used in numerical linear algebra with many applications. In this paper, we extend the notion of singular value decompositions to finite complexes of real vector spaces. We provide two methods to compute them and present several applications.
Singular value decompositions of matrices are widely used in numerical linear algebra with many applications. In this paper, we extend the notion of singular value decompositions to finite complexes of real vector spaces. We provide two methods to compute them and present several applications.
△ Less
Submitted 29 May, 2018; v1 submitted 25 April, 2018;
originally announced April 2018.
-
Solving determinantal systems using homotopy techniques
Authors:
Jonathan D. Hauenstein,
Mohab Safey El Din,
Éric Schost,
Thi Xuan Vu
Abstract:
Let $\K$ be a field of characteristic zero and $\Kbar$ be an algebraic closure of $\K$. Consider a sequence of polynomials$G=(g\_1,\dots,g\_s)$ in $\K[X\_1,\dots,X\_n]$, a polynomial matrix $\F=[f\_{i,j}] \in \K[X\_1,\dots,X\_n]^{p \times q}$, with $p \leq q$,and the algebraic set $V\_p(F, G)$ of points in $\KKbar$ at which all polynomials in $\G$ and all $p$-minors of $\F$vanish. Such polynomia…
▽ More
Let $\K$ be a field of characteristic zero and $\Kbar$ be an algebraic closure of $\K$. Consider a sequence of polynomials$G=(g\_1,\dots,g\_s)$ in $\K[X\_1,\dots,X\_n]$, a polynomial matrix $\F=[f\_{i,j}] \in \K[X\_1,\dots,X\_n]^{p \times q}$, with $p \leq q$,and the algebraic set $V\_p(F, G)$ of points in $\KKbar$ at which all polynomials in $\G$ and all $p$-minors of $\F$vanish. Such polynomial systems appear naturally in e.g. polynomial optimization, computational geometry.We provide bounds on the number of isolated points in $V\_p(F, G)$ depending on the maxima of the degrees in rows (resp. columns) of $\F$. Next, we design homotopy algorithms for computing those points. These algorithms take advantage of the determinantal structure of the system defining $V\_p(F, G)$. In particular, the algorithms run in time that is polynomial in the bound on the number of isolated points.
△ Less
Submitted 28 February, 2018;
originally announced February 2018.
-
Sampling real algebraic varieties for topological data analysis
Authors:
Emilie Dufresne,
Parker B. Edwards,
Heather A. Harrington,
Jonathan D. Hauenstein
Abstract:
Topological data analysis (TDA) provides a growing body of tools for computing geometric and topological information about spaces from a finite sample of points. We present a new adaptive algorithm for finding provably dense samples of points on real algebraic varieties given a set of defining polynomials. The algorithm utilizes methods from numerical algebraic geometry to give formal guarantees a…
▽ More
Topological data analysis (TDA) provides a growing body of tools for computing geometric and topological information about spaces from a finite sample of points. We present a new adaptive algorithm for finding provably dense samples of points on real algebraic varieties given a set of defining polynomials. The algorithm utilizes methods from numerical algebraic geometry to give formal guarantees about the density of the sampling and it also employs geometric heuristics to reduce the size of the sample. As TDA methods consume significant computational resources that scale poorly in the number of sample points, our sampling minimization makes applying TDA methods more feasible. We provide a software package that implements the algorithm and also demonstrate the implementation with several examples.
△ Less
Submitted 18 October, 2018; v1 submitted 21 February, 2018;
originally announced February 2018.
-
Optimal Configurations in Coverage Control with Polynomial Costs
Authors:
Shaunak D. Bopardikar,
Dhagash Mehta,
Jonathan D. Hauenstein
Abstract:
We revisit the static coverage control problem for placement of vehicles with simple motion on the real line, under the assumption that the cost is a polynomial function of the locations of the vehicles. The main contribution of this paper is to demonstrate the use of tools from numerical algebraic geometry, in particular, a numerical polynomial homotopy continuation method that guarantees to find…
▽ More
We revisit the static coverage control problem for placement of vehicles with simple motion on the real line, under the assumption that the cost is a polynomial function of the locations of the vehicles. The main contribution of this paper is to demonstrate the use of tools from numerical algebraic geometry, in particular, a numerical polynomial homotopy continuation method that guarantees to find all solutions of polynomial equations, in order to characterize the \emph{global minima} for the coverage control problem. The results are then compared against a classic distributed approach involving the use of Lloyd descent, which is known to converge only to a local minimum under certain technical conditions.
△ Less
Submitted 30 January, 2018;
originally announced January 2018.
-
Adaptive strategies for solving parameterized systems using homotopy continuation
Authors:
Jonathan D. Hauenstein,
Margaret H. Regan
Abstract:
Three aspects of applying homotopy continuation, which is commonly used to solve parameterized systems of polynomial equations, are investigated. First, for parameterized systems which are homogeneous, we investigate options for performing computations on an adaptively chosen affine coordinate patch. Second, for parameterized systems which are overdetermined, we investigate options for adaptively…
▽ More
Three aspects of applying homotopy continuation, which is commonly used to solve parameterized systems of polynomial equations, are investigated. First, for parameterized systems which are homogeneous, we investigate options for performing computations on an adaptively chosen affine coordinate patch. Second, for parameterized systems which are overdetermined, we investigate options for adaptively selecting a well-constrained subsystem to restore numerical stability. Finally, since one is typically interested in only computing real solutions for parameterized problems which arise from applications, we investigate a scheme for heuristically identifying solution paths which appear to be ending at nonreal solutions and truncating them. We demonstrate these three aspects on two problems arising in computer vision.
△ Less
Submitted 17 October, 2017;
originally announced October 2017.
-
Polynomials and the exponent of matrix multiplication
Authors:
Luca Chiantini,
Jonathan D. Hauenstein,
Christian Ikenmeyer,
J. M. Landsberg,
Giorgio Ottaviani
Abstract:
We define tensors, corresponding to cubic polynomials, which have the same exponent $ω$ as the matrix multiplication tensor. In particular, we study the symmetrized matrix multiplication tensor $sM_n$ defined on an $n\times n$ matrix $A$ by $sM_n(A)=trace(A^3)$. The use of polynomials enables the introduction of additional techniques from algebraic geometry in the study of the matrix multiplicatio…
▽ More
We define tensors, corresponding to cubic polynomials, which have the same exponent $ω$ as the matrix multiplication tensor. In particular, we study the symmetrized matrix multiplication tensor $sM_n$ defined on an $n\times n$ matrix $A$ by $sM_n(A)=trace(A^3)$. The use of polynomials enables the introduction of additional techniques from algebraic geometry in the study of the matrix multiplication exponent $ω$.
△ Less
Submitted 15 June, 2017;
originally announced June 2017.
-
Locating and counting equilibria of the Kuramoto model with rank one coupling
Authors:
Owen Coss,
Jonathan D. Hauenstein,
Hoon Hong,
Daniel K. Molzahn
Abstract:
The Kuramoto model describes synchronization behavior among coupled oscillators and enjoys successful application in a wide variety of fields. Many of these applications seek phase-coherent solutions, i.e., equilibria of the model. Historically, research has focused on situations where the number of oscillators, $n$, is extremely large and can be treated as being infinite. More recently, however,…
▽ More
The Kuramoto model describes synchronization behavior among coupled oscillators and enjoys successful application in a wide variety of fields. Many of these applications seek phase-coherent solutions, i.e., equilibria of the model. Historically, research has focused on situations where the number of oscillators, $n$, is extremely large and can be treated as being infinite. More recently, however, applications have arisen in areas such as electrical engineering with more modest values of $n$. For these, the equilibria can be located by finding the real solutions of a system of polynomial equations utilizing techniques from algebraic geometry. However, typical methods for solving such systems locate all complex solutions even though only the real solutions give equilibria. In this paper, we present an algorithm to locate only the real solutions of the model, thereby shortening computation time by several orders of magnitude in certain situations. This is accomplished by choosing specific equilibria representatives and the consequent algebraic decoupling of the system. The correctness of the algorithm (that it finds only and all the equilibria) is proved rigorously. Additionally, the algorithm can be implemented using interval methods so that the equilibria can be approximated up to any given precision without significantly more computational effort. We also compare this solving approach to other computational algebraic geometric methods. Furthermore, analyzing this approach allows us to prove, asymptotically, that the maximum number of equilibria grows at the same rate as the number of complex solutions of a corresponding polynomial system. Finally, we conjecture an upper bound on the maximum number of equilibria for any number of oscillators which generalizes the known cases and is obtained on a range of explicitly provided natural frequencies.
△ Less
Submitted 26 October, 2017; v1 submitted 28 April, 2017;
originally announced May 2017.
-
Numerical computation of Galois groups
Authors:
Jonathan D. Hauenstein,
Jose Israel Rodriguez,
Frank Sottile
Abstract:
The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the group, but can only determine it when it is the full symmetric group. We give numerical methods to compute the Galois group and study it when it is not the full sy…
▽ More
The Galois/monodromy group of a family of geometric problems or equations is a subtle invariant that encodes the structure of the solutions. Computing monodromy permutations using numerical algebraic geometry gives information about the group, but can only determine it when it is the full symmetric group. We give numerical methods to compute the Galois group and study it when it is not the full symmetric group. One algorithm computes generators while the other gives information on its structure as a permutation group. We illustrate these algorithms with examples using a Macaulay2 package we are develo** that relies upon Bertini to perform monodromy computations.
△ Less
Submitted 25 May, 2016;
originally announced May 2016.
-
Computing complex and real tropical curves using monodromy
Authors:
Daniel A. Brake,
Jonathan D. Hauenstein,
Cynthia Vinzant
Abstract:
Tropical varieties capture combinatorial information about how coordinates of points in a classical variety approach zero or infinity. We present algorithms for computing the rays of a complex and real tropical curve defined by polynomials with constant coefficients. These algorithms rely on homotopy continuation, monodromy loops, and Cauchy integrals. Several examples are presented which are comp…
▽ More
Tropical varieties capture combinatorial information about how coordinates of points in a classical variety approach zero or infinity. We present algorithms for computing the rays of a complex and real tropical curve defined by polynomials with constant coefficients. These algorithms rely on homotopy continuation, monodromy loops, and Cauchy integrals. Several examples are presented which are computed using an implementation that builds on the numerical algebraic geometry software Bertini.
△ Less
Submitted 13 May, 2016;
originally announced May 2016.
-
Decomposing the parameter space of biological networks via a numerical discriminant approach
Authors:
Heather A. Harrington,
Dhagash Mehta,
Helen M. Byrne,
Jonathan D. Hauenstein
Abstract:
Many systems in biology, physics and engineering can be described by systems of ordinary differential equation containing many parameters. When studying the dynamic behavior of these large, nonlinear systems, it is useful to identify and characterize the steady-state solutions as the model parameters vary, a technically challenging problem in a high-dimensional parameter landscape. Rather than sim…
▽ More
Many systems in biology, physics and engineering can be described by systems of ordinary differential equation containing many parameters. When studying the dynamic behavior of these large, nonlinear systems, it is useful to identify and characterize the steady-state solutions as the model parameters vary, a technically challenging problem in a high-dimensional parameter landscape. Rather than simply determining the number and stability of steady-states at distinct points in parameter space, we decompose the parameter space into finitely many regions, the steady-state solutions being consistent within each distinct region. From a computational algebraic viewpoint, the boundary of these regions is contained in the discriminant locus. We develop global and local numerical algorithms for constructing the discriminant locus and classifying the parameter landscape. We showcase our numerical approaches by applying them to molecular and cell-network models.
△ Less
Submitted 9 April, 2016;
originally announced April 2016.
-
Investigating the Maximum Number of Real Solutions to the Power Flow Equations: Analysis of Lossless Four-Bus Systems
Authors:
Daniel K. Molzahn,
Matthew Niemerg,
Dhagash Mehta,
Jonathan D. Hauenstein
Abstract:
The power flow equations model the steady-state relationship between the power injections and voltage phasors in an electric power system. By separating the real and imaginary components of the voltage phasors, the power flow equations can be formulated as a system of quadratic polynomials. Only the real solutions to these polynomial equations are physically meaningful. This paper focuses on the m…
▽ More
The power flow equations model the steady-state relationship between the power injections and voltage phasors in an electric power system. By separating the real and imaginary components of the voltage phasors, the power flow equations can be formulated as a system of quadratic polynomials. Only the real solutions to these polynomial equations are physically meaningful. This paper focuses on the maximum number of real solutions to the power flow equations. An upper bound on the number of real power flow solutions commonly used in the literature is the maximum number of complex solutions. There exist two- and three-bus systems for which all complex solutions are real. It is an open question whether this is also the case for larger systems. This paper investigates four-bus systems using techniques from numerical algebraic geometry and conjectures a negative answer to this question. In particular, this paper studies lossless, four-bus systems composed of PV buses connected by lines with arbitrary susceptances. Computing the Galois group, which is degenerate, enables conversion of the problem of counting the number of real solutions to the power flow equations into counting the number of positive roots of a univariate sextic polynomial. From this analysis, it is conjectured that the system has at most 16 real solutions, which is strictly less than the maximum number of complex solutions, namely 20. We also provide explicit parameter values where this system has 16 real solutions so that the conjectured upper bound is achievable.
△ Less
Submitted 18 March, 2016;
originally announced March 2016.
-
Numerically validating the completeness of the real solution set of a system of polynomial equations
Authors:
Daniel A. Brake,
Jonathan D. Hauenstein,
Alan C. Liddell
Abstract:
Computing the real solutions to a system of polynomial equations is a challenging problem, particularly verifying that all solutions have been computed. We describe an approach that combines numerical algebraic geometry and sums of squares programming to test whether a given set is "complete" with respect to the real solution set. Specifically, we test whether the Zariski closure of that given set…
▽ More
Computing the real solutions to a system of polynomial equations is a challenging problem, particularly verifying that all solutions have been computed. We describe an approach that combines numerical algebraic geometry and sums of squares programming to test whether a given set is "complete" with respect to the real solution set. Specifically, we test whether the Zariski closure of that given set is indeed equal to the solution set of the real radical of the ideal generated by the given polynomials. Examples with finitely and infinitely many real solutions are provided, along with an example having polynomial inequalities.
△ Less
Submitted 1 February, 2016;
originally announced February 2016.
-
On deflation and multiplicity structure
Authors:
Jonathan D. Hauenstein,
Bernard Mourrain,
Agnes Szanto
Abstract:
This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construction uses a single linear differential form defined from the Jacobian matrix of the input, and defines the deflated system by applying this differential form to the original system. The advantages of this new deflation is tha…
▽ More
This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construction uses a single linear differential form defined from the Jacobian matrix of the input, and defines the deflated system by applying this differential form to the original system. The advantages of this new deflation is that it does not introduce new variables and the increase in the number of equations is linear in each iteration instead of the quadratic increase of previous methods. The second construction gives the coefficients of the so-called inverse system or dual basis, which defines the multiplicity structure at the singular root. We present a system of equations in the original variables plus a relatively small number of new variables that completely deflates the root in one step. We show that the isolated simple solutions of this new system correspond to roots of the original system with given multiplicity structure up to a given order. Both constructions are "exact" in that they permit one to treat all conjugate roots simultaneously and can be used in certification procedures for singular roots and their multiplicity structure with respect to an exact rational polynomial system.
△ Less
Submitted 4 January, 2016;
originally announced January 2016.
-
Tensor decomposition and homotopy continuation
Authors:
Alessandra Bernardi,
Noah S. Daleo,
Jonathan D. Hauenstein,
Bernard Mourrain
Abstract:
A computationally challenging classical elimination theory problem is to compute polynomials which vanish on the set of tensors of a given rank. By moving away from computing polynomials via elimination theory to computing pseudowitness sets via numerical elimination theory, we develop computational methods for computing ranks and border ranks of tensors along with decompositions. More generally,…
▽ More
A computationally challenging classical elimination theory problem is to compute polynomials which vanish on the set of tensors of a given rank. By moving away from computing polynomials via elimination theory to computing pseudowitness sets via numerical elimination theory, we develop computational methods for computing ranks and border ranks of tensors along with decompositions. More generally, we present our approach using joins of any collection of irreducible and nondegenerate projective varieties $X_1,\ldots,X_k\subset\mathbb{P}^N$ defined over $\mathbb{C}$. After computing ranks over $\mathbb{C}$, we also explore computing real ranks. Various examples are included to demonstrate this numerical algebraic geometric approach.
△ Less
Submitted 6 July, 2016; v1 submitted 14 December, 2015;
originally announced December 2015.
-
A hybrid symbolic-numerical approach to the center-focus problem
Authors:
Adam Mahdi,
Claudio Pessoa,
Jonathan D. Hauenstein
Abstract:
We propose a new hybrid symbolic-numerical approach to the center-focus problem. The method allowed us to obtain center conditions for a three-dimensional system of differential equations, which was previously not possible using traditional, purely symbolic computational techniques.
We propose a new hybrid symbolic-numerical approach to the center-focus problem. The method allowed us to obtain center conditions for a three-dimensional system of differential equations, which was previously not possible using traditional, purely symbolic computational techniques.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Multiprojective witness sets and a trace test
Authors:
Jonathan D. Hauenstein,
Jose Israel Rodriguez
Abstract:
In the field of numerical algebraic geometry, positive-dimensional solution sets of systems of polynomial equations are described by witness sets. In this paper, we define multiprojective witness sets which encode the multidegree information of an irreducible multiprojective variety. Our main results generalize the regeneration solving procedure, a trace test, and numerical irreducible decompositi…
▽ More
In the field of numerical algebraic geometry, positive-dimensional solution sets of systems of polynomial equations are described by witness sets. In this paper, we define multiprojective witness sets which encode the multidegree information of an irreducible multiprojective variety. Our main results generalize the regeneration solving procedure, a trace test, and numerical irreducible decomposition to the multiprojective case. Examples are included to demonstrate this new approach.
△ Less
Submitted 20 April, 2017; v1 submitted 25 July, 2015;
originally announced July 2015.
-
Software for the Gale transform of fewnomial systems and a Descartes rule for fewnomials
Authors:
Daniel J. Bates,
Jonathan D. Hauenstein,
Matthew E. Niemerg,
Frank Sottile
Abstract:
We give a Descartes'-like bound on the number of positive solutions to a system of fewnomials that holds when its exponent vectors are not in convex position and a sign condition is satisfied. This was discovered while develo** algorithms and software for computing the Gale transform of a fewnomial system, which is our main goal. This software is a component of a package we are develo** for Kh…
▽ More
We give a Descartes'-like bound on the number of positive solutions to a system of fewnomials that holds when its exponent vectors are not in convex position and a sign condition is satisfied. This was discovered while develo** algorithms and software for computing the Gale transform of a fewnomial system, which is our main goal. This software is a component of a package we are develo** for Khovanskii-Rolle continuation, which is a numerical algorithm to compute the real solutions to a system of fewnomials.
△ Less
Submitted 20 May, 2015;
originally announced May 2015.
-
Certifying isolated singular points and their multiplicity structure
Authors:
Jonathan D. Hauenstein,
Bernard Mourrain,
Agnes Szanto
Abstract:
This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construc-tion uses a single linear differential form defined from the Jacobian matrix of the input, and defines the deflated system by applying this differential form to the original system. The advantages of this new deflation is th…
▽ More
This paper presents two new constructions related to singular solutions of polynomial systems. The first is a new deflation method for an isolated singular root. This construc-tion uses a single linear differential form defined from the Jacobian matrix of the input, and defines the deflated system by applying this differential form to the original system. The advantages of this new deflation is that it does not introduce new variables and the increase in the number of equations is linear instead of the quadratic increase of previous methods. The second construction gives the coefficients of the so-called inverse system or dual basis, which defines the multiplicity structure at the singular root. We present a system of equations in the original variables plus a relatively small number of new vari-ables. We show that the roots of this new system include the original singular root but now with multiplicity one, and the new variables uniquely determine the multiplicity structure. Both constructions are "exact", meaning that they permit one to treat all conjugate roots simultaneously and can be used in certification procedures for singular roots and their multiplicity structure with respect to an exact rational polynomial system.
△ Less
Submitted 14 September, 2015; v1 submitted 21 January, 2015;
originally announced January 2015.
-
Homotopy techniques for tensor decomposition and perfect identifiability
Authors:
Jonathan D. Hauenstein,
Luke Oeding,
Giorgio Ottaviani,
Andrew J. Sommese
Abstract:
Let T be a general complex tensor of format $(n_1,...,n_d)$. When the fraction $\prod_in_i/[1+\sum_i(n_i-1)]$ is an integer, and a natural inequality (called balancedness) is satisfied, it is expected that T has finitely many minimal decomposition as a sum of decomposable tensors. We show how homotopy techniques allow us to find all the decompositions of T, starting from a given one. Computational…
▽ More
Let T be a general complex tensor of format $(n_1,...,n_d)$. When the fraction $\prod_in_i/[1+\sum_i(n_i-1)]$ is an integer, and a natural inequality (called balancedness) is satisfied, it is expected that T has finitely many minimal decomposition as a sum of decomposable tensors. We show how homotopy techniques allow us to find all the decompositions of T, starting from a given one. Computationally, this gives a guess regarding the total number of such decompositions. This guess matches exactly with all cases previously known, and predicts several unknown cases. Some surprising experiments yielded two new cases of generic identifiability: formats (3,4,5) and (2,2,2,3) which have a unique decomposition as the sum of 6 and 4 decomposable tensors, respectively. We conjecture that these two cases together with the classically known matrix pencils are the only cases where generic identifiability holds, i.e., the only identifiable cases. Building on the computational experiments, we use algebraic geometry to prove these two new cases are indeed generically identifiable.
△ Less
Submitted 9 November, 2016; v1 submitted 31 December, 2014;
originally announced January 2015.
-
Communication: Newton homotopies for sampling stationary points of potential energy landscapes
Authors:
Dhagash Mehta,
Tianran Chen,
Jonathan D Hauenstein,
David J Wales
Abstract:
One of the most challenging and frequently arising problems in many areas of science is to find solutions of a system of multivariate nonlinear equations. There are several numerical methods that can find many (or all if the system is small enough) solutions but they each exhibit characteristic problems. Moreover, traditional methods can break down if the system contains singular solutions. Here,…
▽ More
One of the most challenging and frequently arising problems in many areas of science is to find solutions of a system of multivariate nonlinear equations. There are several numerical methods that can find many (or all if the system is small enough) solutions but they each exhibit characteristic problems. Moreover, traditional methods can break down if the system contains singular solutions. Here, we propose an efficient implementation of Newton homotopies, which can sample a large number of the stationary points of complicated many-body potentials. We demonstrate how the procedure works by applying it to the nearest-neighbor $φ^4$ model and atomic clusters.
△ Less
Submitted 11 December, 2014;
originally announced December 2014.
-
Certified counting of roots of random univariate polynomials
Authors:
Joseph Cleveland,
Jeffrey Dzugan,
Jonathan D. Hauenstein,
Ian Haywood,
Dhagash Mehta,
Anthony Morse,
Leonardo Robol,
Taylor Schlenk
Abstract:
A challenging problem in computational mathematics is to compute roots of a high-degree univariate random polynomial. We combine an efficient multiprecision implementation for solving high-degree random polynomials with two certification methods, namely Smale's $α$-theory and one based on Gerschgorin's theorem, for showing that a given numerical approximation is in the quadratic convergence region…
▽ More
A challenging problem in computational mathematics is to compute roots of a high-degree univariate random polynomial. We combine an efficient multiprecision implementation for solving high-degree random polynomials with two certification methods, namely Smale's $α$-theory and one based on Gerschgorin's theorem, for showing that a given numerical approximation is in the quadratic convergence region of Newton's method of some exact solution. With this combination, we can certifiably count the number of real roots of random polynomials. We quantify the difference between the two certification procedures and list the salient features of both of them. After benchmarking on random polynomials where the coefficients are drawn from the Gaussian distribution, we obtain novel experimental results for the Cauchy distribution case.
△ Less
Submitted 4 December, 2014;
originally announced December 2014.
-
Algebraic Geometrization of the Kuramoto Model: Equilibria and Stability Analysis
Authors:
Dhagash Mehta,
Noah Daleo,
Florian Dörfler,
Jonathan D. Hauenstein
Abstract:
Finding equilibria of the finite size Kuramoto model amounts to solving a nonlinear system of equations, which is an important yet challenging problem. We translate this into an algebraic geometry problem and use numerical methods to find all of the equilibria for various choices of coupling constants K, natural frequencies, and on different graphs. We note that for even modest sizes (N ~ 10-20),…
▽ More
Finding equilibria of the finite size Kuramoto model amounts to solving a nonlinear system of equations, which is an important yet challenging problem. We translate this into an algebraic geometry problem and use numerical methods to find all of the equilibria for various choices of coupling constants K, natural frequencies, and on different graphs. We note that for even modest sizes (N ~ 10-20), the number of equilibria is already more than 100,000. We analyze the stability of each computed equilibrium as well as the configuration of angles. Our exploration of the equilibrium landscape leads to unexpected and possibly surprising results including non-monotonicity in the number of equilibria, a predictable pattern in the indices of equilibria, counter-examples to popular conjectures, multi-stable equilibrium landscapes, scenarios with only unstable equilibria, and multiple distinct extrema in the stable equilibrium distribution as a function of the number of cycles in the graph.
△ Less
Submitted 3 January, 2015; v1 submitted 1 December, 2014;
originally announced December 2014.
-
Energy Landscape of the Finite-Size Mean-field 2-Spin Spherical Model and Topology Trivialization
Authors:
Dhagash Mehta,
Jonathan D. Hauenstein,
Matthew Niemerg,
Nicholas J. Simm,
Daniel A. Stariolo
Abstract:
Motivated by the recently observed phenomenon of topology trivialization of potential energy landscapes (PELs) for several statistical mechanics models, we perform a numerical study of the finite size $2$-spin spherical model using both numerical polynomial homotopy continuation and a reformulation via non-hermitian matrices. The continuation approach computes all of the complex stationary points…
▽ More
Motivated by the recently observed phenomenon of topology trivialization of potential energy landscapes (PELs) for several statistical mechanics models, we perform a numerical study of the finite size $2$-spin spherical model using both numerical polynomial homotopy continuation and a reformulation via non-hermitian matrices. The continuation approach computes all of the complex stationary points of this model while the matrix approach computes the real stationary points. Using these methods, we compute the average number of stationary points while changing the topology of the PEL as well as the variance. Histograms of these stationary points are presented along with an analysis regarding the complex stationary points. This work connects topology trivialization to two different branches of mathematics: algebraic geometry and catastrophe theory, which is fertile ground for further interdisciplinary research.
△ Less
Submitted 29 September, 2014;
originally announced September 2014.
-
Global Structure of Curves from Generalized Unitarity Cut of Three-loop Diagrams
Authors:
Jonathan D. Hauenstein,
Rijun Huang,
Dhagash Mehta,
Yang Zhang
Abstract:
This paper studies the global structure of algebraic curves defined by generalized unitarity cut of four-dimensional three-loop diagrams with eleven propagators. The global structure is a topological invariant that is characterized by the geometric genus of the algebraic curve. We use the Riemann-Hurwitz formula to compute the geometric genus of algebraic curves with the help of techniques involvi…
▽ More
This paper studies the global structure of algebraic curves defined by generalized unitarity cut of four-dimensional three-loop diagrams with eleven propagators. The global structure is a topological invariant that is characterized by the geometric genus of the algebraic curve. We use the Riemann-Hurwitz formula to compute the geometric genus of algebraic curves with the help of techniques involving convex hull polytopes and numerical algebraic geometry. Some interesting properties of genus for arbitrary loop orders are also explored where computing the genus serves as an initial step for integral or integrand reduction of three-loop amplitudes via an algebraic geometric approach.
△ Less
Submitted 30 March, 2015; v1 submitted 14 August, 2014;
originally announced August 2014.
-
Certifying solutions to overdetermined and singular polynomial systems over Q
Authors:
Tulay Ayyildiz Akoglu,
Jonathan D. Hauenstein,
Agnes Szanto
Abstract:
This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is not a continuous property. Our certification is based on hybrid symbolic-numeric methods to compute the exact "rational univariate representation" (RUR) of a comp…
▽ More
This paper is concerned with certifying that a given point is near an exact root of an overdetermined or singular polynomial system with rational coefficients. The difficulty lies in the fact that consistency of overdetermined systems is not a continuous property. Our certification is based on hybrid symbolic-numeric methods to compute the exact "rational univariate representation" (RUR) of a component of the input system from approximate roots. For overdetermined polynomial systems with simple roots, we compute an initial RUR from approximate roots. The accuracy of the RUR is increased via Newton iterations until the exact RUR is found, which we certify using exact arithmetic. Since the RUR is well-constrained, we can use it to certify the given approximate roots using alpha-theory. To certify isolated singular roots, we use a determinantal form of the "isosingular deflation", which adds new polynomials to the original system without introducing new variables. The resulting polynomial system is overdetermined, but the roots are now simple, thereby reducing the problem to the overdetermined case. We prove that our algorithms have complexity that are polynomial in the input plus the output size upon successful convergence, and we use worst case upper bounds for termination when our iteration does not converge to an exact RUR. Examples are included to demonstrate the approach.
△ Less
Submitted 12 August, 2014;
originally announced August 2014.
-
Computations and Equations for Segre-Grassmann hypersurfaces
Authors:
Noah S. Daleo,
Jonathan D. Hauenstein,
Luke Oeding
Abstract:
In 2013, Abo and Wan studied the analogue of Waring's problem for systems of skew-symmetric forms and identified several defective systems. Of particular interest is when a certain secant variety of a Segre-Grassmann variety is expected to fill the natural ambient space, but is actually a hypersurface. Algorithms implemented in Bertini are used to determine the degrees of several of these hypersur…
▽ More
In 2013, Abo and Wan studied the analogue of Waring's problem for systems of skew-symmetric forms and identified several defective systems. Of particular interest is when a certain secant variety of a Segre-Grassmann variety is expected to fill the natural ambient space, but is actually a hypersurface. Algorithms implemented in Bertini are used to determine the degrees of several of these hypersurfaces, and representation-theoretic descriptions of their equations are given. We answer Problem 6.5 [Abo-Wan2013], and confirm their speculation that each member of an infinite family of hypersurfaces is minimally defined by a (known) determinantal equation. While led by numerical evidence, we provide non-numerical proofs for all of our results.
△ Less
Submitted 18 August, 2015; v1 submitted 9 August, 2014;
originally announced August 2014.
-
Certification and the Potential Energy Landscape
Authors:
Dhagash Mehta,
Jonathan D. Hauenstein,
David J. Wales
Abstract:
Typically, there is no guarantee that a numerical approximation obtained using standard nonlinear equation solvers is indeed an actual solution, meaning that it lies in the quadratic convergence basin. Instead, it may lie only in the linear convergence basin, or even in a chaotic region, and hence not converge to the corresponding stationary point when further optimization is attempted. In some ca…
▽ More
Typically, there is no guarantee that a numerical approximation obtained using standard nonlinear equation solvers is indeed an actual solution, meaning that it lies in the quadratic convergence basin. Instead, it may lie only in the linear convergence basin, or even in a chaotic region, and hence not converge to the corresponding stationary point when further optimization is attempted. In some cases, these non-solutions could be misleading. Proving that a numerical approximation will quadratically converge to a stationary point is termed \textit{certification}. In this report, we provide details of how Smale's $α$-theory can be used to certify numerically obtained stationary points of a potential energy landscape, providing a \textit{mathematical proof} that the numerical approximation does indeed correspond to an actual stationary point, independent of the precision employed.
△ Less
Submitted 17 July, 2014;
originally announced July 2014.
-
Gauge-fixing on the Lattice via Orbifolding
Authors:
Dhagash Mehta,
Noah S Daleo,
Jonathan D Hauenstein,
Christopher Seaton
Abstract:
When fixing a covariant gauge, most popularly the Landau gauge, on the lattice one encounters the Neuberger 0/0 problem which prevents one from formulating a Becchi--Rouet--Stora--Tyutin symmetry on the lattice. Following the interpretation of this problem in terms of Witten-type topological field theory and using the recently developed Morse theory for orbifolds, we propose a modification of the…
▽ More
When fixing a covariant gauge, most popularly the Landau gauge, on the lattice one encounters the Neuberger 0/0 problem which prevents one from formulating a Becchi--Rouet--Stora--Tyutin symmetry on the lattice. Following the interpretation of this problem in terms of Witten-type topological field theory and using the recently developed Morse theory for orbifolds, we propose a modification of the lattice Landau gauge via orbifolding of the gauge-fixing group manifold and show that this modification circumvents the orbit-dependence issue and hence can be a viable candidate for evading the Neuberger problem. Using algebraic geometry, we also show that though the previously proposed modification of the lattice Landau gauge via stereographic projection relies on delicate departure from the standard Morse theory due to the non-compactness of the underlying manifold, the corresponding gauge-fixing partition function turns out to be orbit independent for all the orbits except in a region of measure zero.
△ Less
Submitted 25 June, 2014;
originally announced June 2014.
-
Experiments on the zeros of harmonic polynomials using certified counting
Authors:
Jonathan D. Hauenstein,
Antonio Lerario,
Erik Lundberg,
Dhagash Mehta
Abstract:
Motivated by Wilmshurst's conjecture, we investigate the zeros of harmonic polynomials. We utilize a certified counting approach which is a combination of two methods from numerical algebraic geometry: numerical polynomial homotopy continuation to compute a numerical approximation of each zero and Smale's alpha-theory to certify the results. Using this approach, we provide new examples of harmonic…
▽ More
Motivated by Wilmshurst's conjecture, we investigate the zeros of harmonic polynomials. We utilize a certified counting approach which is a combination of two methods from numerical algebraic geometry: numerical polynomial homotopy continuation to compute a numerical approximation of each zero and Smale's alpha-theory to certify the results. Using this approach, we provide new examples of harmonic polynomials having the most extreme number of zeros known so far; we also study the mean and variance of the number of zeros of random harmonic polynomials.
△ Less
Submitted 20 June, 2014;
originally announced June 2014.