arXiv Science⌕ Search

arXiv subjects

Sean Dewar

Publications and source records attributed to Sean Dewar.

At least 19 recordsLinked to original sources
arXiv2026

Rigidity on compact surfaces through hyperbolic symmetries

Generically the rigidity of bar-joint structures admits combinatorial characterisations in the Euclidean plane and, more generally, for frameworks on the sphere and the torus. The remaining case of compact surfaces of genus at least two has remained open. Using the hyperbolic geometry of their universal covers, we develop a theory of infinitesimal rigidity for frameworks on compact surfaces of genus at least two. By the uniformisation theorem, every such surface is a quotient of the hyperbolic plane by a surface group, allowing frameworks on the surface to be represented as infinite symmetric frameworks in the hyperbolic plane. Encoding the symmetry through gain graphs, we prove that infinitesimal rigidity is determined entirely by finite combinatorial data. Specifically, a framework is generically rigid if and only if its associated gain graph contains a spanning (2,3,1,0)-gain tight subgraph. This yields the first combinatorial characterisation of generic rigidity for frameworks on compact surfaces of genus at least two.

math.DG↗
arXiv2026

The number of realisations of a random graph

Determining the number of realisations, up to isometries, of a graph for a specific choice of edge lengths is a fundamental problem in discrete geometry. In this article we prove that, asymptotically almost surely, the $d$-dimensional complex realisation number for each $n$-vertex graph in an Erd\H{o}s-R\'enyi random graph process is either infinite or equal to $2^{n-t}$ where $t$ is the size of the $(d+1)$-core; moreover this number coincides exactly with the real realisation number for such graphs. We also determine a similar formula for the number of complex solutions to the generic rank-$d$ positive semi-definite matrix completion problem with randomly selected non-diagonal unknown entries.

math.CO↗
arXiv2026

The $d$-dimensional realisation number of a rigid graph

Determining the number of (complex) realisations of a rigid graph for a specific choice of edge lengths is a fundamental problem in discrete geometry. In this article we provide two new tools for determining realisation numbers in arbitrary dimensions: (i) we prove that subgraph inclusion translates to realisation number divisibility; and (ii) we provide lower bounds on realisation numbers under specific graph operations in all dimensions. We use these methods to prove that every triangulated sphere with $n$ vertices has at least $2^{n-4}$ edge-length equivalent realisations in 3-dimensions, extending a 2-dimensional result of Jackson and Owen in the case of planar graphs. Additionally, our tools solve a family of conjectures set by Grasegger regarding how 1-extensions, X-replacements, and V-replacements affect realisation numbers.

math.CO↗
arXiv2025

Counting fibres of the Hadamard product using Bergman fans

We study the generic fibre of the Hadamard product of linear spaces via matroid theory and tropical geometry. To do so, we introduce the flip product, a numerical invariant associated to a pair of matroids defined via the stable intersection of their (flipped) Bergman fans. Our first main result is that the cardinality of a generic fibre for the Hadamard product of linear spaces is exactly the flip product of their matroids. We also provide a recursive algorithm for computing the flip product of any pair of matroids. As an application of our techniques, we extend the notion of realisation numbers from rigidity theory to rotational-symmetric and periodic realisation numbers and we provide combinatorial algorithms to compute them. Finally, we show a number of existing matroid invariants are specialisations of the flip product, including the beta invariant.

math.CO↗
arXiv2025

Uniquely realizable crystalline structures

We construct infinite periodic versions of the stress matrix and establish sufficient conditions for periodic tensegrity frameworks to be globally rigid in $\mathbb{R}^d$ in the cases when the lattice is either fixed, fully flexible, or flexible with a volume constraint for the fundamental domain. For the fixed and fully flexible lattice variants, we also establish necessary and sufficient conditions for generic infinite periodic bar-joint frameworks to be globally rigid in $\mathbb{R}^d$. These results provide periodic versions of the fundamental results of Connelly, as well as Gortler, Healy and Thurston on the global rigidity of generic finite bar-joint frameworks.

math.MG↗
arXiv2025

Computing the number of realisations of a rigid graph

A graph is said to be rigid if, given a generic realisation of the graph as a bar-and-joint framework in the plane, there exist only finitely many other realisations of the graph with the same edge lengths modulo rotations, reflections and translations. In recent years there has been an increase of interest in determining exactly what this finite amount is, hereon known as the realisation number. Combinatorial algorithms for the realisation number were previously known for the special cases of minimally rigid and redundantly rigid graphs. In this paper we provide a combinatorial algorithm to compute the realisation number of any rigid graph, and thus solve an open problem of Jackson and Owen. We then adapt our algorithm to compute: (i) spherical realisation numbers, and (ii) the number of rank-3 PSD matrix completions of a generic partial matrix.

math.CO↗
arXiv2025

Dilworth truncations and Hadamard products of linear spaces

As a direct application of Dilworth truncations of polymatroids, we give short proofs of two theorems: Bernstein's characterisation of algebraic matroids coming from the Hadamard product of two linear spaces, and a formula for the dimension of the amoeba of a complex linear space by Draisma, Eggleston, Pendavingh, Rau, and Yuen. We disprove Bernstein's conjecture on a characterisation of the algebraic matroids of Hadamard products of more than two linear spaces, by giving explicit counterexamples.

math.CO↗
arXiv2025

Algebraic connectivity in normed spaces

The algebraic connectivity of a graph $G$ in a finite dimensional real normed linear space $X$ is a geometric counterpart to the Fiedler number of the graph and can be regarded as a measure of the rigidity of the graph in $X$. We analyse the behaviour of the algebraic connectivity of $G$ in $X$ with respect to graph decomposition, vertex deletion and isometric isomorphism, and provide a general bound expressed in terms of the geometry of $X$ and the Fiedler number of the graph. Particular focus is given to the space $\ell_\infty^d$ where we present explicit formulae and calculations as well as upper and lower bounds. As a key tool, we show that the monochrome subgraphs of a complete framework in $\ell_\infty^d$ are odd-hole-free. Connections to redundant rigidity are also presented.

math.CO↗
arXiv2025

Generalised Erd\H{o}s distance theory on graphs

The famous Erd\H{o}s distinct distances problem asks the following: how many distinct distances must exist between a set of $n$ points in the plane? There are many generalisations of this question that ask one to consider different spaces and metrics, or larger structures of points. We bring these problems into a common framework using the concept of $g$-rigidity. Specifically, if $G=(V,E)$ is a (hyper)graph, $g$ is a map assigning polynomial measurements to the edges of $G$ and $f_{g,G}(P^V)$ gives the set of $g$-distinct realisations of the $g$-rigid graph $G$, where vertices must lie in a point set $P$, our main results describe sharp lower bounds for the size of $\big|f_{g,G}(P^V)\big|$. This allows us to obtain results for pseudo-Euclidean metrics, $\ell_p$ metrics, dot-product problems, matrix completion problems, and symmetric tensor completion problems. In addition, we use the recent work of Alon, Buci\'c and Sauermann along with a simple colouring argument to prove that the number of $\| \cdot\|$-distinct realisations of a graph $G=(V,E)$ within a $d$-dimensional point set $P$ is at least $\Omega\left(\frac{|P|^{|V|-1}}{(\log |P|)^2} \right)$ for almost all $d$-norms. Our methods here also provide a short proof that the unit distance conjecture implies the pinned distance conjecture.

math.CO↗
arXiv2025

Uniquely realisable graphs in polyhedral normed spaces

A framework (a straight-line embedding of a graph into a normed space allowing edges to cross) is globally rigid if any other framework with the same edge lengths with respect to the chosen norm is an isometric copy. We investigate global rigidity in polyhedral normed spaces: normed spaces where the unit ball is a polytope. We first provide a deterministic algorithm for checking whether or not a framework in a polyhedral normed space is globally rigid. After showing that determining if a framework is globally rigid is NP-Hard, we then provide necessary conditions for global rigidity for generic frameworks. We obtain stronger results for generic frameworks in $\ell_\infty^d$ (the vector space $\mathbb{R}^d$ equipped with the $\ell_\infty$ metric) including an exact characterisation of global rigidity when $d=2$, and an easily-computable sufficient condition for global rigidity using edge colourings. Our 2-dimensional characterisation also has a surprising consequence: Hendrickson's global rigidity condition fails for generic frameworks in $\ell_\infty^2$.

math.MG↗
arXiv2025

A tropical approach to rigidity: counting realisations of frameworks

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.

math.CO↗
arXiv2024

Triangulated spheres with holes in triangulated surfaces

Let $\mathbb{S}_h$ denote a sphere with $h$ holes. Given a triangulation $G$ of a surface $\mathbb{M}$, we consider the question of when $G$ contains a spanning subgraph $H$ such that $H$ is a triangulated $\mathbb{S}_h$. We give a new short proof of a theorem of Nevo and Tarabykin that every triangulation $G$ of the torus contains a spanning subgraph which is a triangulated cylinder. For arbitrary surfaces, we prove that every high facewidth triangulation of a surface with $h$ handles contains a spanning subgraph which is a triangulated $\mathbb{S}_{2h}$. We also prove that for every $0 \leq g' < g$ and $w \in \mathbb{N}$, there exists a triangulation of facewidth at least $w$ of a surface of Euler genus $g$ that does not have a spanning subgraph which is a triangulated $\mathbb{S}_{g'}$. Our results are motivated by, and have applications for, rigidity questions in the plane.

math.CO↗
arXiv2024

Constructing reflection-symmetric flexible realisations of graphs

We study reflection-symmetric realisations of symmetric graphs in the plane that allow a continuous symmetry and edge-length preserving deformation. To do so, we identify a necessary combinatorial condition on graphs with reflection-symmetric flexible realisations. This condition is based on a specific type of edge colouring, where edges are assigned one of three colours in a symmetric way. From some of these colourings we also construct concrete reflection-symmetric realisations with their corresponding symmetry preserving motion. We study also a specific class of reflection-symmetric realisations consisting of triangles and parallelograms.

math.CO↗
arXiv2024

Single-cell 3D genome reconstruction in the haploid setting using rigidity theory

This article considers the problem of 3-dimensional genome reconstruction for single-cell data, and the uniqueness of such reconstructions in the setting of haploid organisms. We consider multiple graph models as representations of this problem, and use techniques from graph rigidity theory to determine identifiability. Biologically, our models come from Hi-C data, microscopy data, and combinations thereof. Mathematically, we use unit ball and sphere packing models, as well as models consisting of distance and inequality constraints. In each setting, we describe and/or derive new results on realisability and uniqueness. We then propose a 3D reconstruction method based on semidefinite programming and apply it to synthetic and real data sets using our models.

q-bio.GN↗
arXiv2024

Edge-length preserving embeddings of graphs between normed spaces

The concept of graph flattenability, initially formalized by Belk and Connelly and later expanded by Sitharam and Willoughby, extends the question of embedding finite metric spaces into a given normed space. A finite simple graph $G=(V,E)$ is said to be $(X,Y)$-flattenable if any set of induced edge lengths from an embedding of $G$ into a normed space $Y$ can also be realised by an embedding of $G$ into a normed space $X$. This property, being minor-closed, can be characterized by a finite list of forbidden minors. Following the establishment of fundamental results about $(X,Y)$-flattenability, we identify sufficient conditions under which it implies independence with respect to the associated rigidity matroids for $X$ and $Y$. We show that the spaces $\ell_2$ and $\ell_\infty$ serve as two natural extreme spaces of flattenability and discuss $(X, \ell_p )$-flattenability for varying $p$. We provide a complete characterization of $(X,Y)$-flattenable graphs for the specific case when $X$ is 2-dimensional and $Y$ is infinite-dimensional.

math.MG↗
arXiv2024

Angular constraints on planar frameworks

Consider a collection of points in the plane and the sets of slopes or directions of the lines between pairs of points. It is known that the algebraic matroid on the set of direction constraints between the points is equivalent to the algebraic matroid on the set of distances between the points. This is the well-studied generic 2-dimensional rigidity matroid of a graph. This article studies a higher-level construction built on the slope data: an angle constraint system obtained by prescribing relationships between pairs of slopes. The central question we analyze is: when is an angle system rigid, in the sense that every nontrivial motion alters one of the fixed angles? We formulate the problem in matricial terms for certain edge-colored graphs, finding precise necessary conditions for when such edge-colored graphs are rigid, and a combinatorial characterization of generic rigidity for a special case. We also prove the validity of an equivalent formulation of the angle matroid as the algebraic matroid of a field extension.

math.CO↗
arXiv2024

Extremal decompositions of tropical varieties and relations with rigidity theory

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.

math.AG↗