Mesh-Expanding Homotopies and Numerical Irreducible Decomposition Over a Number Field

Doctoral Dissertation


Algorithms from the field of numerical algebraic geometry provide robust means to compute all isolated solutions of arbitrary systems of polynomials and to give a thorough numerical description of positive-dimensional solution components. However, the number of isolated complex solutions tends to grow exponentially with respect to the number $N$ of equations and variables, limiting the size of tractable systems. This is a particular problem for systems arising from discretizations of ordinary differential equations because $N$ is directly related to mesh size, and finer meshes are generally more desirable. On the other hand, the number of interesting solutions is often far smaller than the total count, and much effort is wasted on complex solutions with no physical interpretation.In the first part of this thesis, a general method is given for constructing a homotopy that directly relates solutions on grids of different resolutions. This enables iterative generation of solutions on increasingly fine meshes, and makes it possible to filter out some non-physical solutions to substantially reduce wasted computation time. In the second part, a new algorithm is given to compute the numerical irreducible decomposition of a general polynomial system over a finite algebraic extension of $Q$ by projecting the solution set onto a line and deducing the exact defining polynomial of the projection.


Attribute NameValues
  • etd-07152014-151946

Author Timothy M McCoy
Advisor Andrew Sommese
Contributor Bei Hu, Committee Member
Contributor Andrew Sommese, Committee Chair
Contributor Jonathan Hauenstein, Committee Member
Contributor Yongtao Zhang, Committee Member
Degree Level Doctoral Dissertation
Degree Discipline Applied and Computational Mathematics and Statistics
Degree Name PhD
Defense Date
  • 2014-07-09

Submission Date 2014-07-15
  • United States of America

  • algebraic computation

  • numerical algebraic geometry

  • homotopy continuation

  • computational mathematics

  • polynomial systems

  • boundary value problems

  • University of Notre Dame

  • English

Record Visibility Public
Content License
  • All rights reserved

Departments and Units


Please Note: You may encounter a delay before a download begins. Large or infrequently accessed files can take several minutes to retrieve from our archival storage system.