-
Minimal Perspective Autocalibration
Authors:
Andrea Porfiri Dal Cin,
Timothy Duff,
Luca Magri,
Tomas Pajdla
Abstract:
We introduce a new family of minimal problems for reconstruction from multiple views. Our primary focus is a novel approach to autocalibration, a long-standing problem in computer vision. Traditional approaches to this problem, such as those based on Kruppa's equations or the modulus constraint, rely explicitly on the knowledge of multiple fundamental matrices or a projective reconstruction. In co…
▽ More
We introduce a new family of minimal problems for reconstruction from multiple views. Our primary focus is a novel approach to autocalibration, a long-standing problem in computer vision. Traditional approaches to this problem, such as those based on Kruppa's equations or the modulus constraint, rely explicitly on the knowledge of multiple fundamental matrices or a projective reconstruction. In contrast, we consider a novel formulation involving constraints on image points, the unknown depths of 3D points, and a partially specified calibration matrix $K$. For $2$ and $3$ views, we present a comprehensive taxonomy of minimal autocalibration problems obtained by relaxing some of these constraints. These problems are organized into classes according to the number of views and any assumed prior knowledge of $K$. Within each class, we determine problems with the fewest -- or a relatively small number of -- solutions. From this zoo of problems, we devise three practical solvers. Experiments with synthetic and real data and interfacing our solvers with COLMAP demonstrate that we achieve superior accuracy compared to state-of-the-art calibration methods. The code is available at https://github.com/andreadalcin/MinimalPerspectiveAutocalibration
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
SAGBI and Gröbner Bases Detection
Authors:
Viktoriia Borovik,
Timothy Duff,
Elima Shehu
Abstract:
We introduce a detection algorithm for SAGBI basis in polynomial rings, analogous to a Gröbner basis detection algorithm previously proposed by Gritzmann and Sturmfels. We also present two accompanying software packages named SagbiGbDetection for Macaulay2 and Julia. Both packages allow the user to find one or more term orders for which a set of input polynomials form either Gröbner basis for the…
▽ More
We introduce a detection algorithm for SAGBI basis in polynomial rings, analogous to a Gröbner basis detection algorithm previously proposed by Gritzmann and Sturmfels. We also present two accompanying software packages named SagbiGbDetection for Macaulay2 and Julia. Both packages allow the user to find one or more term orders for which a set of input polynomials form either Gröbner basis for the ideal they generate or a SAGBI basis for the subalgebra. Additionally, we investigate the computational complexity of homogeneous SAGBI detection and apply our implementation to several novel examples.
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Efficient Solution of Point-Line Absolute Pose
Authors:
Petr Hruby,
Timothy Duff,
Marc Pollefeys
Abstract:
We revisit certain problems of pose estimation based on 3D--2D correspondences between features which may be points or lines. Specifically, we address the two previously-studied minimal problems of estimating camera extrinsics from $p \in \{ 1, 2 \}$ point--point correspondences and $l=3-p$ line--line correspondences. To the best of our knowledge, all of the previously-known practical solutions to…
▽ More
We revisit certain problems of pose estimation based on 3D--2D correspondences between features which may be points or lines. Specifically, we address the two previously-studied minimal problems of estimating camera extrinsics from $p \in \{ 1, 2 \}$ point--point correspondences and $l=3-p$ line--line correspondences. To the best of our knowledge, all of the previously-known practical solutions to these problems required computing the roots of degree $\ge 4$ (univariate) polynomials when $p=2$, or degree $\ge 8$ polynomials when $p=1.$ We describe and implement two elementary solutions which reduce the degrees of the needed polynomials from $4$ to $2$ and from $8$ to $4$, respectively. We show experimentally that the resulting solvers are numerically stable and fast: when compared to the previous state-of-the art, we may obtain nearly an order of magnitude speedup. The code is available at \url{https://github.com/petrhruby97/efficient\_absolute}
△ Less
Submitted 25 April, 2024;
originally announced April 2024.
-
Certified homotopy tracking using the Krawczyk method
Authors:
Timothy Duff,
Kisun Lee
Abstract:
We revisit the problem of certifying the correctness of approximate solution paths computed by numerical homotopy continuation methods. We propose a conceptually simple approach based on a parametric variant of the Krawczyk method from interval arithmetic. Unlike most previous methods for certified path-tracking, our approach is applicable in the general setting of parameter homotopies commonly us…
▽ More
We revisit the problem of certifying the correctness of approximate solution paths computed by numerical homotopy continuation methods. We propose a conceptually simple approach based on a parametric variant of the Krawczyk method from interval arithmetic. Unlike most previous methods for certified path-tracking, our approach is applicable in the general setting of parameter homotopies commonly used to solve polynomial systems of equations. We also describe a novel preconditioning strategy and give theoretical correctness and termination results. Experiments using a preliminary implementation of the method indicate that our approach is competitive with specialized methods appearing previously in the literature, in spite of our more general setting.
△ Less
Submitted 29 May, 2024; v1 submitted 10 February, 2024;
originally announced February 2024.
-
Subalgebra and Khovanskii bases equivalence
Authors:
Colin Alstad,
Michael Burr,
Oliver Clarke,
Timothy Duff
Abstract:
The main results of this paper establish a partial correspondence between two previously-studied analogues of Groebner bases in the setting of algebras: namely, subalgebra (aka SAGBI) bases for quotients of polynomial rings and Khovanskii bases for valued algebras. We aim to bridge the gap between the concrete, computational aspects of the former and the more abstract theory of the latter. Our phi…
▽ More
The main results of this paper establish a partial correspondence between two previously-studied analogues of Groebner bases in the setting of algebras: namely, subalgebra (aka SAGBI) bases for quotients of polynomial rings and Khovanskii bases for valued algebras. We aim to bridge the gap between the concrete, computational aspects of the former and the more abstract theory of the latter. Our philosophy is that most interesting examples of Khovanskii bases can also be realized as subalgebra bases and vice-versa. We also discuss the computation of Newton-Okounkov bodies, illustrating how interpreting Khovanskii bases as subalgebra bases makes them more amenable to the existing computer algebra tools.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
-
Metric Multiview Geometry -- a Catalogue in Low Dimensions
Authors:
Timothy Duff,
Felix Rydell
Abstract:
We systematically compile an exhaustive catalogue of multiview varieties and anchored multiview varieties arising from projections of points and lines in 1, 2, and 3-dimensional projective space. We say that two such varieties are ED-equivalent if there is a linear isomorphism between that that preserve ED-critical points. This gives rise to fourteen equivalence classes, and we determine various p…
▽ More
We systematically compile an exhaustive catalogue of multiview varieties and anchored multiview varieties arising from projections of points and lines in 1, 2, and 3-dimensional projective space. We say that two such varieties are ED-equivalent if there is a linear isomorphism between that that preserve ED-critical points. This gives rise to fourteen equivalence classes, and we determine various properties - dimension, set-theoretic equations, and multidegrees - for all varieties featured in our catalogue. In the case of points, we also present a complementary study of resectioning varieties and their singular loci. Finally, we propose conjectures for the Euclidean distance degrees of all varieties appearing in our comprehensive compilation.
△ Less
Submitted 1 February, 2024;
originally announced February 2024.
-
Using monodromy to recover symmetries of polynomial systems
Authors:
Timothy Duff,
Viktor Korotynskiy,
Tomas Pajdla,
Margaret Regan
Abstract:
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 symmetries, towards the eventual goal of solving the systems more efficiently. We describe and implement one possible approach to this task using numerical homotopy…
▽ More
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 symmetries, towards the eventual goal of solving the systems more efficiently. We describe and implement one possible approach to this task using numerical homotopy continuation and multivariate rational function interpolation. We describe additional methods that detect and exploit a priori unknown quasi-homogeneous structure in symmetries. These methods extend the range of interpolation to larger examples, including applications with nonlinear symmetries drawn from vision and robotics.
△ Less
Submitted 19 December, 2023;
originally announced December 2023.
-
Algebra and Geometry of Camera Resectioning
Authors:
Erin Connelly,
Timothy Duff,
Jessie Loucks-Tavitas
Abstract:
We study algebraic varieties associated with the camera resectioning problem. We characterize these resectioning varieties' multigraded vanishing ideals using Gröbner basis techniques. As an application, we derive and re-interpret celebrated results in geometric computer vision related to camera-point duality. We also clarify some relationships between the classical problems of optimal resectionin…
▽ More
We study algebraic varieties associated with the camera resectioning problem. We characterize these resectioning varieties' multigraded vanishing ideals using Gröbner basis techniques. As an application, we derive and re-interpret celebrated results in geometric computer vision related to camera-point duality. We also clarify some relationships between the classical problems of optimal resectioning and triangulation, state a conjectural formula for the Euclidean distance degree of the resectioning variety, and discuss how this conjecture relates to the recently-resolved multiview conjecture.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Geometric Solution to the Angles-Only Initial Orbit Determination Problem
Authors:
Michela Mancini,
Timothy Duff,
Anton Leykin,
John A. Christian
Abstract:
Initial orbit determination (IOD) from line-of-sight (i.e., bearing) measurements is a classical problem in astrodynamics. Indeed, there are many well-established methods for performing the IOD task when given three line-of-sight observations at known times. Interestingly, and in contrast to these existing methods, concepts from algebraic geometry may be used to produce a purely geometric solution…
▽ More
Initial orbit determination (IOD) from line-of-sight (i.e., bearing) measurements is a classical problem in astrodynamics. Indeed, there are many well-established methods for performing the IOD task when given three line-of-sight observations at known times. Interestingly, and in contrast to these existing methods, concepts from algebraic geometry may be used to produce a purely geometric solution. This idea is based on the fact that bearings from observers in general position may be used to directly recover the shape and orientation of a three-dimensional conic (e.g., a Keplerian orbit) without any need for knowledge of time. In general, it is shown that five bearings at unknown times are sufficient to recover the orbit -- without the use of any type of initial guess and without the need to propagate the orbit. Three bearings are sufficient for purely geometric IOD if the orbit is known to be (approximately) circular. The method has been tested over different scenarios, including one where extra observations make the system of equations over-determined.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
Line Multiview Ideals
Authors:
Paul Breiding,
Timothy Duff,
Lukas Gustafsson,
Felix Rydell,
Elima Shehu
Abstract:
We study the following problem in computer vision from the perspective of algebraic geometry: Using $m$ pinhole cameras we take $m$ pictures of a line in $\mathbb P^3$. This produces $m$ lines in $\mathbb P^2$ and the question is which $m$-tuples of lines can arise that way. We are interested in polynomial equations and therefore study the complex Zariski closure of all such tuples of lines. The r…
▽ More
We study the following problem in computer vision from the perspective of algebraic geometry: Using $m$ pinhole cameras we take $m$ pictures of a line in $\mathbb P^3$. This produces $m$ lines in $\mathbb P^2$ and the question is which $m$-tuples of lines can arise that way. We are interested in polynomial equations and therefore study the complex Zariski closure of all such tuples of lines. The resulting algebraic variety is a subvariety of $(\mathbb P^2)^m$ and is called line multiview variety. In this article, we study its ideal. We show that for generic cameras the ideal is generated by $3\times 3$-minors of a specific matrix. We also compute Gröbner bases and discuss to what extent our results carry over to the non-generic case.
△ Less
Submitted 23 April, 2024; v1 submitted 3 March, 2023;
originally announced March 2023.
-
SubalgebraBases in Macaulay2
Authors:
Michael Burr,
Oliver Clarke,
Timothy Duff,
Jackson Leaman,
Nathan Nichols,
Elise Walker
Abstract:
We describe a recently revived version of the software package SubalgberaBases, which is distributed in the Macaulay2 computer algebra system. The package allows the user to compute and manipulate subagebra bases -- which are also known as SAGBI bases or canonical bases and form a special class of Khovanskii bases -- for polynomial rings and their quotients. We provide an overview of the design an…
▽ More
We describe a recently revived version of the software package SubalgberaBases, which is distributed in the Macaulay2 computer algebra system. The package allows the user to compute and manipulate subagebra bases -- which are also known as SAGBI bases or canonical bases and form a special class of Khovanskii bases -- for polynomial rings and their quotients. We provide an overview of the design and functionality of SubalgberaBases and demonstrate how the package works on several motivating examples.
△ Less
Submitted 16 January, 2024; v1 submitted 24 February, 2023;
originally announced February 2023.
-
An Atlas for the Pinhole Camera
Authors:
Sameer Agarwal,
Timothy Duff,
Max Lieblich,
Rekha Thomas
Abstract:
We introduce an atlas of algebro-geometric objects associated with image formation in pinhole cameras. The nodes of the atlas are algebraic varieties or their vanishing ideals related to each other by projection or elimination and restriction or specialization respectively. This atlas offers a unifying framework for the study of problems in 3D computer vision. We initiate the study of the atlas by…
▽ More
We introduce an atlas of algebro-geometric objects associated with image formation in pinhole cameras. The nodes of the atlas are algebraic varieties or their vanishing ideals related to each other by projection or elimination and restriction or specialization respectively. This atlas offers a unifying framework for the study of problems in 3D computer vision. We initiate the study of the atlas by completely characterizing a part of the atlas stemming from the triangulation problem. We conclude with several open problems and generalizations of the atlas.
△ Less
Submitted 3 October, 2022; v1 submitted 27 June, 2022;
originally announced June 2022.
-
$u$-generation: solving systems of polynomials equation-by-equation
Authors:
Timothy Duff,
Anton Leykin,
Jose Israel Rodriguez
Abstract:
We develop a new method that improves the efficiency of equation-by-equation algorithms for solving polynomial systems. Our method is based on a novel geometric construction, and reduces the total number of homotopy paths that must be numerically continued. These improvements may be applied to the basic algorithms of numerical algebraic geometry in the settings of both projective and multiprojecti…
▽ More
We develop a new method that improves the efficiency of equation-by-equation algorithms for solving polynomial systems. Our method is based on a novel geometric construction, and reduces the total number of homotopy paths that must be numerically continued. These improvements may be applied to the basic algorithms of numerical algebraic geometry in the settings of both projective and multiprojective varieties. Our computational experiments demonstrate significant savings obtained on several benchmark systems. We also present an extended case study on maximum likelihood estimation for rank-constrained symmetric $n\times n$ matrices, in which multiprojective $u$-generation allows us to complete the list of ML degrees for $n\le 6.$
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
Learning to Solve Hard Minimal Problems
Authors:
Petr Hruby,
Timothy Duff,
Anton Leykin,
Tomas Pajdla
Abstract:
We present an approach to solving hard geometric optimization problems in the RANSAC framework. The hard minimal problems arise from relaxing the original geometric optimization problem into a minimal problem with many spurious solutions. Our approach avoids computing large numbers of spurious solutions. We design a learning strategy for selecting a starting problem-solution pair that can be numer…
▽ More
We present an approach to solving hard geometric optimization problems in the RANSAC framework. The hard minimal problems arise from relaxing the original geometric optimization problem into a minimal problem with many spurious solutions. Our approach avoids computing large numbers of spurious solutions. We design a learning strategy for selecting a starting problem-solution pair that can be numerically continued to the problem and the solution of interest. We demonstrate our approach by develo** a RANSAC solver for the problem of computing the relative pose of three calibrated cameras, via a minimal relaxation using four points in each view. On average, we can solve a single problem in under 70 $μs.$ We also benchmark and study our engineering choices on the very familiar problem of computing the relative pose of two calibrated cameras, via the minimal case of five points in two views.
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Galois/monodromy groups for decomposing minimal problems in 3D reconstruction
Authors:
Timothy Duff,
Viktor Korotynskiy,
Tomas Pajdla,
Margaret H. Regan
Abstract:
We consider Galois/monodromy groups arising in computer vision applications, with a view towards building more efficient polynomial solvers. The Galois/monodromy group allows us to decide when a given problem decomposes into algebraic subproblems, and whether or not it has any symmetries. Tools from numerical algebraic geometry and computational group theory allow us to apply this framework to cla…
▽ More
We consider Galois/monodromy groups arising in computer vision applications, with a view towards building more efficient polynomial solvers. The Galois/monodromy group allows us to decide when a given problem decomposes into algebraic subproblems, and whether or not it has any symmetries. Tools from numerical algebraic geometry and computational group theory allow us to apply this framework to classical and novel reconstruction problems. We consider three classical cases--3-point absolute pose, 5-point relative pose, and 4-point homography estimation for calibrated cameras--where the decomposition and symmetries may be naturally understood in terms of the Galois/monodromy group. We then show how our framework can be applied to novel problems from absolute and relative pose estimation. For instance, we discover new symmetries for absolute pose problems involving mixtures of point and line features. We also describe a problem of estimating a pair of calibrated homographies between three images. For this problem of degree 64, we can reduce the degree to 16; the latter better reflecting the intrinsic difficulty of algebraically solving the problem. As a byproduct, we obtain new constraints on compatible homographies, which may be of independent interest.
△ Less
Submitted 10 May, 2021;
originally announced May 2021.
-
Nonlinear Algebra and Applications
Authors:
Paul Breiding,
Türkü Özlüm Çelik,
Timothy Duff,
Alexander Heaton,
Aida Maraj,
Anna-Laura Sattelberger,
Lorenzo Venturello,
Oğuzhan Yürük
Abstract:
We showcase applications of nonlinear algebra in the sciences and engineering. Our review is organized into eight themes: polynomial optimization, partial differential equations, algebraic statistics, integrable systems, configuration spaces of frameworks, biochemical reaction networks, algebraic vision, and tensor decompositions. Conversely, developments on these topics inspire new questions and…
▽ More
We showcase applications of nonlinear algebra in the sciences and engineering. Our review is organized into eight themes: polynomial optimization, partial differential equations, algebraic statistics, integrable systems, configuration spaces of frameworks, biochemical reaction networks, algebraic vision, and tensor decompositions. Conversely, developments on these topics inspire new questions and algorithms for algebraic geometry.
△ Less
Submitted 6 October, 2021; v1 submitted 30 March, 2021;
originally announced March 2021.
-
Polyhedral Homotopies in Cox Coordinates
Authors:
Timothy Duff,
Simon Telen,
Elise Walker,
Thomas Yahl
Abstract:
We introduce the Cox homotopy algorithm for solving a sparse system of polynomial equations on a compact toric variety $X_Σ$. The algorithm lends its name from a construction, described by Cox, of $X_Σ$ as a GIT quotient $X_Σ= (\mathbb{C}^k \setminus Z) // G$ of a quasi-affine variety by the action of a reductive group. Our algorithm tracks paths in the total coordinate space $\mathbb{C}^k$ of…
▽ More
We introduce the Cox homotopy algorithm for solving a sparse system of polynomial equations on a compact toric variety $X_Σ$. The algorithm lends its name from a construction, described by Cox, of $X_Σ$ as a GIT quotient $X_Σ= (\mathbb{C}^k \setminus Z) // G$ of a quasi-affine variety by the action of a reductive group. Our algorithm tracks paths in the total coordinate space $\mathbb{C}^k$ of $X_Σ$ and can be seen as a homogeneous version of the standard polyhedral homotopy, which works on the dense torus of $X_Σ$. It furthermore generalizes the commonly used path tracking algorithms in (multi)projective spaces in that it tracks a set of homogeneous coordinates contained in the $G$-orbit corresponding to each solution. The Cox homotopy combines the advantages of polyhedral homotopies and (multi)homogeneous homotopies, tracking only mixed volume many solutions and providing an elegant way to deal with solutions on or near the special divisors of $X_Σ$. In addition, the strategy may help to understand the deficiency of the root count for certain families of systems with respect to the BKK bound.
△ Less
Submitted 8 December, 2020;
originally announced December 2020.
-
Signatures of algebraic curves via numerical algebraic geometry
Authors:
Timothy Duff,
Michael Ruddy
Abstract:
We apply numerical algebraic geometry to the invariant-theoretic problem of detecting symmetries between two plane algebraic curves. We describe an efficient equality test which determines, with "probability-one", whether or not two rational maps have the same image up to Zariski closure. The application to invariant theory is based on the construction of suitable signature maps associated to a gr…
▽ More
We apply numerical algebraic geometry to the invariant-theoretic problem of detecting symmetries between two plane algebraic curves. We describe an efficient equality test which determines, with "probability-one", whether or not two rational maps have the same image up to Zariski closure. The application to invariant theory is based on the construction of suitable signature maps associated to a group acting linearly on the respective curves. We consider two versions of this construction: differential and joint signature maps. In our examples and computational experiments, we focus on the complex Euclidean group, and introduce an algebraic joint signature that we prove determines equivalences of curves under this action and the size of a curve's symmetry group. We demonstrate that the test is efficient and use it to empirically compare the sensitivity of differential and joint signatures to different types of noise.
△ Less
Submitted 14 December, 2020; v1 submitted 10 May, 2020;
originally announced May 2020.
-
PL${}_{1}$P -- Point-line Minimal Problems under Partial Visibility in Three Views
Authors:
Timothy Duff,
Kathlén Kohn,
Anton Leykin,
Tomas Pajdla
Abstract:
We present a complete classification of minimal problems for generic arrangements of points and lines in space observed partially by three calibrated perspective cameras when each line is incident to at most one point. This is a large class of interesting minimal problems that allows missing observations in images due to occlusions and missed detections. There is an infinite number of such minimal…
▽ More
We present a complete classification of minimal problems for generic arrangements of points and lines in space observed partially by three calibrated perspective cameras when each line is incident to at most one point. This is a large class of interesting minimal problems that allows missing observations in images due to occlusions and missed detections. There is an infinite number of such minimal problems; however, we show that they can be reduced to 140616 equivalence classes by removing superfluous features and relabeling the cameras. We also introduce camera-minimal problems, which are practical for designing minimal solvers, and show how to pick a simplest camera-minimal problem for each minimal problem. This simplification results in 74575 equivalence classes. Only 76 of these were known; the rest are new. In order to identify problems that have potential for practical solving of image matching and 3D reconstruction, we present several smaller natural subfamilies of camera-minimal problems as well as compute solution counts for all camera-minimal problems which have less than 300 solutions for generic data.
△ Less
Submitted 10 March, 2020;
originally announced March 2020.
-
PLMP -- Point-Line Minimal Problems in Complete Multi-View Visibility
Authors:
Timothy Duff,
Kathlén Kohn,
Anton Leykin,
Tomas Pajdla
Abstract:
We present a complete classification of all minimal problems for generic arrangements of points and lines completely observed by calibrated perspective cameras. We show that there are only 30 minimal problems in total, no problems exist for more than 6 cameras, for more than 5 points, and for more than 6 lines. We present a sequence of tests for detecting minimality starting with counting degrees…
▽ More
We present a complete classification of all minimal problems for generic arrangements of points and lines completely observed by calibrated perspective cameras. We show that there are only 30 minimal problems in total, no problems exist for more than 6 cameras, for more than 5 points, and for more than 6 lines. We present a sequence of tests for detecting minimality starting with counting degrees of freedom and ending with full symbolic and numeric verification of representative examples. For all minimal problems discovered, we present their algebraic degrees, i.e. the number of solutions, which measure their intrinsic difficulty. It shows how exactly the difficulty of problems grows with the number of views. Importantly, several new minimal problems have small degrees that might be practical in image matching and 3D reconstruction.
△ Less
Submitted 5 September, 2019; v1 submitted 24 March, 2019;
originally announced March 2019.
-
Trifocal Relative Pose from Lines at Points and its Efficient Solution
Authors:
Ricardo Fabbri,
Timothy Duff,
Hongyi Fan,
Margaret Regan,
David da Costa de Pinho,
Elias Tsigaridas,
Charles Wampler,
Jonathan Hauenstein,
Benjamin Kimia,
Anton Leykin,
Tomas Pajdla
Abstract:
We present a method for solving two minimal problems for relative camera pose estimation from three views, which are based on three view correspondences of i) three points and one line and the novel case of ii) three points and two lines through two of the points. These problems are too difficult to be efficiently solved by the state of the art Groebner basis methods. Our method is based on a new…
▽ More
We present a method for solving two minimal problems for relative camera pose estimation from three views, which are based on three view correspondences of i) three points and one line and the novel case of ii) three points and two lines through two of the points. These problems are too difficult to be efficiently solved by the state of the art Groebner basis methods. Our method is based on a new efficient homotopy continuation (HC) solver framework MINUS, which dramatically speeds up previous HC solving by specializing HC methods to generic cases of our problems. We characterize their number of solutions and show with simulated experiments that our solvers are numerically robust and stable under image noise, a key contribution given the borderline intractable degree of nonlinearity of trinocular constraints. We show in real experiments that i) SIFT feature location and orientation provide good enough point-and-line correspondences for three-view reconstruction and ii) that we can solve difficult cases with too few or too noisy tentative matches, where the state of the art structure from motion initialization fails.
△ Less
Submitted 29 November, 2022; v1 submitted 23 March, 2019;
originally announced March 2019.
-
Certification for Polynomial Systems via Square Subsystems
Authors:
Timothy Duff,
Nickolas Hein,
Frank Sottile
Abstract:
We consider numerical certification of approximate solutions to a system of polynomial equations with more equations than unknowns by first certifying solutions to a square subsystem. We give several approaches that certifiably select which are solutions to the original overdetermined system. These approaches each use different additional information for this certification, such as liaison, Newton…
▽ More
We consider numerical certification of approximate solutions to a system of polynomial equations with more equations than unknowns by first certifying solutions to a square subsystem. We give several approaches that certifiably select which are solutions to the original overdetermined system. These approaches each use different additional information for this certification, such as liaison, Newton-Okounkov bodies, or intersection theory. They may be used to certify individual solutions, reject nonsolutions, or certify that we have found all solutions.
△ Less
Submitted 5 July, 2020; v1 submitted 6 December, 2018;
originally announced December 2018.
-
Monodromy Solver: Sequential and Parallel
Authors:
Nathan Bliss,
Timothy Duff,
Anton Leykin,
Jeff Sommars
Abstract:
We describe, study, and experiment with an algorithm for finding all solutions of systems of polynomial equations using homotopy continuation and monodromy. This algorithm follows a framework developed in previous work and can operate in the presence of a large number of failures of the homotopy continuation subroutine. We give special attention to parallelization and probabilistic analysis of a m…
▽ More
We describe, study, and experiment with an algorithm for finding all solutions of systems of polynomial equations using homotopy continuation and monodromy. This algorithm follows a framework developed in previous work and can operate in the presence of a large number of failures of the homotopy continuation subroutine. We give special attention to parallelization and probabilistic analysis of a model adapted to parallelization and failures. Apart from theoretical results, we developed a simulator that allows us to run a large number of experiments without recomputing the outcomes of the continuation subroutine.
△ Less
Submitted 30 May, 2018;
originally announced May 2018.
-
Solving polynomial systems via homotopy continuation and monodromy
Authors:
Timothy Duff,
Cvetelina Hill,
Anders Jensen,
Kisun Lee,
Anton Leykin,
Jeff Sommars
Abstract:
We study methods for finding the solution set of a generic system in a family of polynomial systems with parametric coefficients. We present a framework for describing monodromy based solvers in terms of decorated graphs. Under the theoretical assumption that monodromy actions are generated uniformly, we show that the expected number of homotopy paths tracked by an algorithm following this framewo…
▽ More
We study methods for finding the solution set of a generic system in a family of polynomial systems with parametric coefficients. We present a framework for describing monodromy based solvers in terms of decorated graphs. Under the theoretical assumption that monodromy actions are generated uniformly, we show that the expected number of homotopy paths tracked by an algorithm following this framework is linear in the number of solutions. We demonstrate that our software implementation is competitive with the existing state-of-the-art methods implemented in other software packages.
△ Less
Submitted 16 April, 2018; v1 submitted 27 September, 2016;
originally announced September 2016.
-
Robust Graph Ideals
Authors:
Adam Boocher,
Bryan Christopher Brown,
Timothy Duff,
Laura Lyman,
Takumi Murayama,
Amy Nesky,
Karl Schaefer
Abstract:
Let I be a toric ideal. We say I is robust if its universal Groebner basis is a minimal generating set. We show that any robust toric ideal arising from a graph G is also minimally generated by its Graver basis. We then completely characterize all graphs which give rise to robust ideals. Our characterization shows that robustness can be determined solely in terms of graph-theoretic conditions on t…
▽ More
Let I be a toric ideal. We say I is robust if its universal Groebner basis is a minimal generating set. We show that any robust toric ideal arising from a graph G is also minimally generated by its Graver basis. We then completely characterize all graphs which give rise to robust ideals. Our characterization shows that robustness can be determined solely in terms of graph-theoretic conditions on the set of circuits of G.
△ Less
Submitted 29 September, 2013;
originally announced September 2013.
