Combinatorial Resultants in the Algebraic Rigidity Matroid

03/15/2021
by   Goran Malić, et al.
0

Motivated by a rigidity-theoretic perspective on the Localization Problem in 2D, we develop an algorithm for computing circuit polynomials in the algebraic rigidity matroid associated to the Cayley-Menger ideal for n points in 2D. We introduce combinatorial resultants, a new operation on graphs that captures properties of the Sylvester resultant of two polynomials in the algebraic rigidity matroid. We show that every rigidity circuit has a construction tree from K_4 graphs based on this operation. Our algorithm performs an algebraic elimination guided by the construction tree, and uses classical resultants, factorization and ideal membership. To demonstrate its effectiveness, we implemented our algorithm in Mathematica: it took less than 15 seconds on an example where a Groebner Basis calculation took 5 days and 6 hrs.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/24/2023

Computing Circuit Polynomials in the Algebraic Rigidity Matroid

We present an algorithm for computing circuit polynomials in the algebra...
research
09/21/2023

Enumerating combinatorial resultant decompositions of 2-connected rigidity circuits

A rigidity circuit (in 2D) is a minimal dependent set in the rigidity ma...
research
10/24/2018

Complexity, combinatorial positivity, and Newton polytopes

The Nonvanishing Problem asks if a coefficient of a polynomial is nonzer...
research
01/29/2018

Approximate Vanishing Ideal via Data Knotting

The vanishing ideal is a set of polynomials that takes zero value on the...
research
11/07/2020

On the Complexity of CSP-based Ideal Membership Problems

In this paper we consider the Ideal Membership Problem (IMP for short), ...
research
05/11/2022

Algebraic Presentation of Semifree Monads

Monads and their composition via distributive laws have many application...
research
11/07/2020

Combinatorial Bernoulli Factories: Matchings, Flows and Other Polytopes

A Bernoulli factory is an algorithmic procedure for exact sampling of ce...

Please sign up or login with your details

Forgot password? Click here to reset