arXiv++ Combinatorics

A realisation of a graph in the plane as a bar-joint framework is rigid if there are finitely many other realisations, up to isometries, with the same edge lengths. Each of these finitely-many realisations can be seen as a solution to a system of quadratic equations prescribing the distances between pairs of points. For generic realisations, the size of the solution set depends only on the underlying graph so long as we allow for complex solutions. We provide a characterisation of the realisation number - that is the cardinality of this complex solution set - of a minimally rigid graph. Our characterisation uses tropical geometry to express the realisation number as an intersection of Bergman fans of the graphic matroid. As a consequence, we derive a combinatorial upper bound on the realisation number involving the Tutte polynomial. Moreover, we provide computational evidence that our upper bound is usually an improvement on the mixed volume bound.

Extremality and irreducibility constitute fundamental concepts in mathematics, particularly within tropical geometry. While extremal decomposition is typically computationally hard, this article presents a fast algorithm for identifying the extremal decomposition of tropical varieties with rational balanced weightings. Additionally, we explore connections and applications related to rigidity theory. In particular, we prove that a tropical hypersurface is extremal if and only if it has a unique reciprocal diagram up to homothety.

We initiate the study of convex geometry over ordered hyperfields. We define convex sets and halfspaces over ordered hyperfields, presenting structure theorems over hyperfields arising as quotients of fields. We prove hyperfield analogues of Helly, Radon and Carathéodory theorems. We also show that arbitrary convex sets can be separated via hemispaces. Comparing with classical convexity, we begin classifying hyperfields for which halfspace separation holds. In the process, we demonstrate many properties of ordered hyperfields, including a classification of stringent ordered hyperfields.