English
Related papers

Related papers: Solving Polynomial Systems in the Cloud with Polyn…

200 papers

We consider polynomial systems of Prony type, appearing in many areas of mathematics. Their robust numerical solution is considered to be difficult, especially in "near-colliding" situations. We consider a case when the structure of the…

Numerical Analysis · Computer Science 2016-10-24 Dmitry Batenkov

Systems of polynomial equations arise frequently in computer vision, especially in multiview geometry problems. Traditional methods for solving these systems typically aim to eliminate variables to reach a univariate polynomial, e.g., a…

Computer Vision and Pattern Recognition · Computer Science 2021-12-15 Chiang-Heng Chien , Hongyi Fan , Ahmad Abdelfattah , Elias Tsigaridas , Stanimire Tomov , Benjamin Kimia

While automatically generated polynomial elimination templates have sparked great progress in the field of 3D computer vision, there remain many problems for which the degree of the constraints or the number of unknowns leads to…

Computer Vision and Pattern Recognition · Computer Science 2025-03-27 Xinyue Zhang , Zijia Dai , Wanting Xu , Laurent Kneip

Many applications modeled by polynomial systems have positive dimensional solution components (e.g., the path synthesis problems for four-bar mechanisms) that are challenging to compute numerically by homotopy continuation methods. A…

Algebraic Geometry · Mathematics 2007-05-23 Andrew J. Sommese , Jan Verschelde

We propose an algorithm for solving of the graph isomorphism problem. Also, we introduce the new class of graphs for which the graph isomorphism problem can be solved polynomially using the algorithm.

Combinatorics · Mathematics 2007-05-23 Rashit T. Faizullin , Alexander V. Prolubnikov

Galois/monodromy groups attached to parametric systems of polynomial equations provide a method for detecting the existence of symmetries in solution sets. Beyond the question of existence, one would like to compute formulas for these…

Algebraic Geometry · Mathematics 2023-12-21 Timothy Duff , Viktor Korotynskiy , Tomas Pajdla , Margaret Regan

The manuscript addresses the problem of finding all solutions of power flow equations or other similar nonlinear system of algebraic equations. This problem arises naturally in a number of power systems contexts, most importantly in the…

Chaotic Dynamics · Physics 2014-08-13 Dhagash Mehta , Hung Nguyen , Konstantin Turitsyn

In the recent years, several polynomial algorithms of a dynamical nature have been proposed to address the graph isomorphism problem. In this paper we propose a generalization of an approach exposed in cond-mat/0209112 and find that this…

Computational Complexity · Computer Science 2007-05-23 Marats Golovkins

Nonlinear two-point boundary value problems arise in numerous areas of application. The existence and number of solutions for various cases has been studied from a theoretical standpoint. These results generally rely upon growth conditions…

Numerical Analysis · Mathematics 2007-05-23 E. L. Allgower , D. J. Bates , A. J. Sommese , C. W. Wampler

A polynomial algorithm for graphs' isomorphism testing is constructed in assumption that there exists a corresponding polynomial algorithm for graphs with trivial automorphism group.

Combinatorics · Mathematics 2007-05-23 Aleksandr Golubchik

Polynomial system solving has seen major progress in both theory and practice over the past decade. A landmark achievement was addressing Smale's 17th problem, establishing average-case polynomial-time algorithms for computing approximate…

Numerical Analysis · Mathematics 2026-05-07 Abigail R. Jones , Kisun Lee , Jose Israel Rodriguez

Inspired by numerical homotopy methods we propose a combinatorial homotopy algorithm for finding all isolated solutions to a tropical polynomial systems of n tropical polynomials in n variables. In particular, a tropicalisation of the…

Combinatorics · Mathematics 2016-01-13 Anders Nedergaard Jensen

In this paper we propose a method that uses Lagrange multipliers and numerical algebraic geometry to find all critical points, and therefore globally solve, polynomial optimization problems. We design a polyhedral homotopy algorithm that…

Optimization and Control · Mathematics 2023-02-10 Julia Lindberg , Leonid Monin , Kemal Rose

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…

Symbolic Computation · Computer Science 2018-03-01 Jonathan D. Hauenstein , Mohab Safey El Din , Éric Schost , Thi Xuan Vu

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

Data Structures and Algorithms · Computer Science 2012-11-14 Charo I. Del Genio , Thilo Gross

The article gives an overview of the parameter numerical continuation methodology applied to setpoint control and parameter identification of nonlinear systems. The control problems for affine systems as well as general (nonaffine)…

Optimization and Control · Mathematics 2013-01-29 Alex Borisevich

We propose a new algorithm for numerical path tracking in polynomial homotopy continuation. The algorithm is `robust' in the sense that it is designed to prevent path jumping and in many cases, it can be used in (only) double precision…

Algebraic Geometry · Mathematics 2020-09-11 Simon Telen , Marc Van Barel , Jan Verschelde

This paper introduces persistent homology, which is a powerful tool to characterize the shape of data using the mathematical concept of topology. We explain the fundamental idea of persistent homology from scratch using some examples. We…

Algebraic Topology · Mathematics 2022-05-25 Ippei Obayashi , Takenobu Nakamura , Yasuaki Hiraoka

The goal of this paper is to provide computational tools able to find a solution of a system of polynomial inequalities. The set of inequalities is reformulated as a system of polynomial equations. Three different methods, two of which…

Dynamical Systems · Mathematics 2016-03-04 Laura Menini , Corrado Possieri , Antonio Tornambè

Persistent homology is a multiscale method for analyzing the shape of sets and functions from point cloud data arising from an unknown distribution supported on those sets. When the size of the sample is large, direct computation of the…