College of Science
Search criteria:
List of files deposited in CurateND that match your search criteria

 Creator(s):
 Dan Bates, David Eklund, Jonathan Hauenstein, Chris Peterson
 Description:
A fundamental problem in algebraic geometry is to decompose the solution set of a given polynomial system. A numerical description of this solution set is called a numerical irreducible decomposition and currently all standard algorithms use a sequence of homotopies forming a dimensionbydimension approach. In this article, we pair a classical result to compute a smooth point on every irreducible component in every dimension using a single homotopy together with the theory of isosingular s…
 Date Created:
 20190426

 Creator(s):
 Jonathan Hauenstein, Alan Liddell, Yi Zhang
 Description:
Standard interior point methods in semidefinite programming track a solution path for a homotopy defined by a system of polynomial equations. By viewing this in the context of numerical algebraic geometry, we are able to employ techniques to handle various cases which can arise. Adaptive precision path tracking techniques can help navigate around illconditioned areas. When the optimizer is singular with respect to the firstorder optimality conditions, endgames can be used to efficiently and…
 Date Created:
 20180410

 Creator(s):
 Jonathan Hauenstein
 Description:
A common problem when analyzing models, such as a mathematical modeling of a biological process, is to determine if the unknown parameters of the model can be determined from given inputoutput data. Identifiable models are models such that the unknown parameters can be determined to have a finite number of values given inputoutput data. The total number of such values over the complex numbers is called the identifiability degree of the model. Unidentifiable models are models such that th…
 Date Created:
 20180309

4
Dataset
 Creator(s):
 Samantha Sherman, Jonathan Hauenstein
 Description:
Computational tools in numerical algebraic geometry can be used to numerically approximate solutions to a system of polynomial equations. If the system is wellconstrained (i.e., square), Newton’s method is locally quadratically convergent near each nonsingular solution. In such cases, Smale’s alpha theory can be used to certify that a given point is in the quadratic convergence basin of some solution. This was extended to certifiably determine the reality of the corresponding sol…
 Date Created:
 20180308

 Creator(s):
 Margaret Regan, Jonathan Hauenstein
 Description:
A common computational problem is to compute topological information about a real surface defined by a system of polynomial equations. Our software, called polyTop, leverages numerical algebraic geometry computations from Bertini and Bertini_real with topological computations in javaPlex to compute the Euler characteristic, genus, Betti numbers, and generators of the fundamental group of a real surface. Several examples are used to demonstrate this new software.
 Date Created:
 20180302

 Creator(s):
 Margaret Regan, Jonathan Hauenstein
 Description:
Three key aspects of applying homotopy continuation to parameterized systems of polynomial equations are investigated. First, for parameterized systems which are homogenized with solutions in projective space, we investigate options for selecting the affine patch where computations are performed. Second, for parameterized systems which are overdetermined, we investigate options for randomizing the system for improving the numerically stability of the computations. Finally, since one is typica…
 Date Created:
 20170706

 Creator(s):
 Jonathan Hauenstein
 Description:
The Kuramoto model describes synchronization behavior among coupled oscillators and enjoys successful application in a wide variety of fields. Many of these applications seek phasecoherent 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…
 Date Created:
 20170407

8
Video
 Description(s):
 A movie showing the change in the number of stable steadystate solutions as a function of the celltocell communication. Software code using Matlab and Bertini is also provided which was used to generate the frames of this movie.
 Creator(s):
 Jonathan Hauenstein
 Date Published:
 2016

 Creator(s):
 Jonathan Hauenstein
 Description:
StewartGough platforms are mechanisms which consist of two rigid objects, a base and a platform, connected by six legs via spherical joints. For fixed leg lengths, a generic StewartGough platform is rigid with 40 assembly configurations (over the complex numbers) while exceptional StewartGough platforms have infinitely many assembly configurations and thus have selfmotion. We define a family of exceptional StewartGough platforms called Segredependent StewartGough platforms which aris…
 Date Created:
 20170117

 Creator(s):
 Jonathan Hauenstein
 Description:
We define tensors, most of which correspond with cubic polynomials, which have the same exponent w as the matrix multiplication tensor. In particular, we study the symmetrized matrix multiplication tensor defined on an nxn matrix A by trace(A^3). The use of polynomials enables the introduction of additional techniques from algebraic geometry in the study of the matrix multiplication exponent w.
 Date Created:
 20170107

11
Article
 Author(s):
 Daniel Bates, Andrew Sommese, Jonathan Hauenstein
 Abstract:
Numerical algebraic geometry is the area devoted to the solution and manipulation of polynomial systems by numerical methods, which are mainly based on continuation. Due to the extreme intrinsic parallelism of continuation, polynomial systems may be successfully dealt with that are much larger than is possible with other methods. Singular solutions require special numerical methods called endgames, and the endgames currently used do not take advantage of parallelism. This article gives an ove…

12
Article
 Author(s):
 Charles Wampler II, Daniel Bates, Andrew Sommese, Jonathan Hauenstein
 Abstract:
Dedicated to our collaborator, mentor, and friend, Andrew Sommese, by Bates, Hauenstein, and Wampler on the occasion of his sixtieth birthday.
When numerically tracking implicitlydefined paths, such as is required for homotopy continuation methods, efficiency and reliability are enhanced by using adaptive stepsize and adaptive multiprecision methods. Both efficiency and reliability can be further improved by adapting precision and stepsize simultaneously. This paper presents a strategy fo…