We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.CO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Combinatorics

Title: Combinatorial Resultants in the Algebraic Rigidity Matroid

Abstract: 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.
Comments: 32 pages, 9 figures. This is the full paper accompanying the extended abstract of the same title (to appear in SoCG 2021)
Subjects: Combinatorics (math.CO); Computational Geometry (cs.CG); Algebraic Geometry (math.AG); Metric Geometry (math.MG)
Cite as: arXiv:2103.08432 [math.CO]
  (or arXiv:2103.08432v1 [math.CO] for this version)

Submission history

From: Goran Malic [view email]
[v1] Mon, 15 Mar 2021 15:00:02 GMT (200kb,D)

Link back to: arXiv, form interface, contact.