arXiv subjects

Georg Grasegger

Publications and source records attributed to Georg Grasegger.

At least 19 recordsLinked to original sources

arXiv2026

The minimum degree question for the Maker Breaker Domination Game

The Maker Breaker Domination Game is a two player game played on a graph $G$ in which the players take turns to claim a vertex from the graph. The aim of the Dominator is to claim the vertices of a dominating set, and the aim of the Staller is to prevent this. In this paper, we consider the following problem: for a given integer $d$, what is the size of the smallest (with respect to the number of vertices) graph with minimum degree $d$ such that the Dominator loses going first? We write $\beta(d)$ to denote the answer to this question. We determine the precise value of $\beta(d)$ for $d\leq 3$. For general $d$ it was known that $2^{d+1} \leq \beta(d) \leq 2^{d+1}+2d$; the upper bound is due to a construction communicated to us by Valentin Gledel, while the lower bound follows from a simple application of the Erd\H{o}s-Selfridge Theorem. We improve the lower bound to $\beta(d) \geq 2^{d+1}+2$.

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

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

PyRigi -- a general-purpose Python package for the rigidity and flexibility of bar-and-joint frameworks

We present PyRigi, a novel Python package designed to study the rigidity properties of graphs and frameworks. Among many other capabilities, PyRigi can determine whether a graph admits only finitely many ways, up to isometries, of being drawn in the plane once the edge lengths are fixed, whether it has a unique embedding, or whether it satisfied such properties even after the removal of any of its edges. By implementing algorithms from the scientific literature, PyRigi enables the exploration of rigidity properties of structures that would be out of reach for computations by hand. With reliable and robust algorithms, as well as clear, well-documented methods that are closely connected to the underlying mathematical definitions and results, PyRigi aims to be a practical and powerful general-purpose tool for the working mathematician interested in rigidity theory. PyRigi is open source and easy to use, and awaits researchers to benefit from its computational potential.

math.MG↗

arXiv2025

Explorations on the number of realizations of minimally rigid graphs

Rigid graphs have only finitely many realizations. In the recent years significant progress was made in computing the number of such realizations. With this progress it was also possible for the first time to do computations on large sets of graphs. In this paper we show what we can conclude from the data we got from these computations. This includes new lower bounds on the maximal realization count for a given number of vertices, upper bounds for the minimal realization count in higher dimensions and effects of rigidity preserving construction rules on the realization number. In all cases we give certificate graphs which prove the respective results.

math.CO↗

arXiv2024

Pentagonal bipyramids lead to the smallest flexible embedded polyhedron

Steffen's polyhedron was believed to have the least number of vertices among polyhedra that can flex without self-intersections. Maksimov clarified that the pentagonal bipyramid with one face subdivided into three is the only polyhedron with fewer vertices for which the existence of a self-intersection-free flex was open. Since subdividing a face into three does not change the mobility, we focus on flexible pentagonal bipyramids. When a bipyramid flexes, the distance between the two opposite vertices of the two pyramids changes; associating the position of the bipyramid to this distance yields an algebraic map that determines a nontrivial extension of rational function fields. We classify flexible pentagonal bipyramids with respect to the Galois group of this field extension and provide examples for each class, building on a construction proposed by Nelson. Surprisingly, one of our constructions yields a flexible pentagonal bipyramid that can be extended to an embedded flexible polyhedron with 8 vertices. The latter hence solves the open question.

math.MG↗

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

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

Rigidity of nearly planar classes of graphs

We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic 3-dimensional rigidity matroid adding to the short list of graph classes for which 3-dimensional rigidity is understood. We then analyse global rigidity for these graph classes and use our results to deduce bounds on the maximum likelihood threshold of graphs in these nearly planar classes.

math.CO↗

arXiv2023

The number of realisations of a rigid graph in Euclidean and spherical geometries

A graph is $d$-rigid if for any generic realisation of the graph in $\mathbb{R}^d$ (equivalently, the $d$-dimensional sphere $\mathbb{S}^d$), there are only finitely many non-congruent realisations in the same space with the same edge lengths. By extending this definition to complex realisations in a natural way, we define $c_d(G)$ to be the number of equivalent $d$-dimensional complex realisations of a $d$-rigid graph $G$ for a given generic realisation, and $c^*_d(G)$ to be the number of equivalent $d$-dimensional complex spherical realisations of $G$ for a given generic spherical realisation. Somewhat surprisingly, these two realisation numbers are not always equal. Recently developed algorithms for computing realisation numbers determined that the inequality $c_2(G) \leq c_2^*(G)$ holds for any minimally 2-rigid graph $G$ with 12 vertices or less. In this paper we confirm that, for any dimension $d$, the inequality $c_d(G) \leq c_d^*(G)$ holds for every $d$-rigid graph $G$. This result is obtained via new techniques involving coning, the graph operation that adds an extra vertex adjacent to all original vertices of the graph.

math.CO↗

arXiv2023

Calligraphs and sphere realizations

We introduce a recursive procedure for computing the number of realizations of a minimally rigid graph on the sphere up to rotations. We accomplish this by combining two ingredients. The first is a framework that allows us to think of such realizations as of elements of a moduli space of stable rational curves with marked points. The second is the idea of splitting a minimally rigid graph into two subgraphs, called calligraphs, that admit one degree of freedom and that share only a single edge and a further vertex. This idea has been recently employed for realizations of graphs in the plane up to isometries. The key result is that we can associate to a calligraph a triple of natural numbers with a special property: whenever a minimally rigid graph is split into two calligraphs, the number of realizations of the former equals the product of the two triples of the latter, where this product is specified by a fixed quadratic form. These triples and quadratic form codify the fact that we express realizations as intersections of two curves on the blowup of a sphere along two pairs of complex conjugate points.

math.CO↗

arXiv2023

On the uniqueness of collections of pennies and marbles

In this note we study the uniqueness problem for collections of pennies and marbles. More generally, consider a collection of unit $d$-spheres that may touch but not overlap. Given the existence of such a collection, one may analyse the contact graph of the collection. In particular we consider the uniqueness of the collection arising from the contact graph. Using the language of graph rigidity theory, we prove a precise characterisation of uniqueness (global rigidity) in dimensions 2 and 3 when the contact graph is additionally chordal. We then illustrate a wide range of examples in these cases. That is, we illustrate collections of marbles and pennies that can be perturbed continuously (flexible), are locally unique (rigid) and are unique (globally rigid). We also contrast these examples with the usual generic setting of graph rigidity.

math.CO↗

arXiv2023

Flexibility and rigidity of frameworks consisting of triangles and parallelograms

A framework, which is a (possibly infinite) graph with a realization of its vertices in the plane, is called flexible if it can be continuously deformed while preserving the edge lengths. We focus on flexibility of frameworks in which 4-cycles form parallelograms. For the class of frameworks considered in this paper (allowing triangles), we prove that the following are equivalent: flexibility, infinitesimal flexibility, the existence of at least two classes of an equivalence relation based on 3- and 4-cycles and being a non-trivial subgraph of the Cartesian product of graphs. We study the algorithmic aspects and the rotationally symmetric version of the problem. The results are illustrated on frameworks obtained from tessellations by regular polygons.

math.CO↗

arXiv2022

Minimal counterexamples to Hendrickson's conjecture on globally rigid graphs

In this paper we consider the class of graphs which are redundantly $d$-rigid and $(d+1)$-connected but not globally $d$-rigid, where $d$ is the dimension. This class arises from counterexamples to a conjecture by Bruce Hendrickson. It seems that there are relatively few graphs in this class for a given number of vertices. Using computations we show that $K_{5,5}$ is indeed the smallest counterexample to the conjecture.

math.CO↗

arXiv2022

Graph rigidity properties of Ramanujan graphs

A recent result of Cioab\u{a}, Dewar and Gu implies that any $k$-regular Ramanujan graph with $k\geq 8$ is globally rigid in $\mathbb{R}^2$. In this paper, we extend these results and prove that any $k$-regular Ramanujan graph of sufficiently large order is globally rigid in $\mathbb{R}^2$ when $k\in \{6, 7\}$, and when $k\in \{4,5\}$ if it is also vertex-transitive. These results imply that the Ramanujan graphs constructed by Morgenstern in 1994 are globally rigid. We also prove several results on other types of framework rigidity, including body-bar rigidity, body-hinge rigidity, and rigidity on surfaces of revolution. In addition, we use computational methods to determine which Ramanujan graphs of small order are globally rigid in $\mathbb{R}^2$.

math.CO↗

arXiv2022

Coupler curves of moving graphs and counting realizations of rigid graphs

A calligraph is a graph that for almost all edge length assignments moves with one degree of freedom in the plane, if we fix an edge and consider the vertices as revolute joints. The trajectory of a distinguished vertex of the calligraph is called its coupler curve. To each calligraph we uniquely assign a vector consisting of three integers. This vector bounds the degrees and geometric genera of irreducible components of the coupler curve. A graph, that up to rotations and translations admits finitely many, but at least two, realizations into the plane for almost all edge length assignments, is a union of two calligraphs. We show that this number of realizations is equal to a certain inner product of the vectors associated to these two calligraphs. As an application we obtain an improved algorithm for counting numbers of realizations, and by counting realizations we characterize invariants of coupler curves.

math.AG↗

arXiv2022

Quotient graphs of symmetrically rigid frameworks

A natural problem in combinatorial rigidity theory concerns the determination of the rigidity or flexibility of bar-joint frameworks in $\mathbb{R}^d$ that admit some non-trivial symmetry. When $d=2$ there is a large literature on this topic. In particular, it is typical to quotient the symmetric graph by the group and analyse the rigidity of symmetric, but otherwise generic frameworks, using the combinatorial structure of the appropriate group-labelled quotient graph. However, mirroring the situation for generic rigidity, little is known combinatorially when $d\geq 3$. Nevertheless in the periodic case, a key result of Borcea and Streinu characterises when a quotient graph can be lifted to a rigid periodic framework in $\mathbb{R}^d$. We develop an analogous theory for symmetric frameworks in $\mathbb{R}^d$. The results obtained apply to all finite and infinite 2-dimensional point groups, and then in arbitrary dimension they concern a wide range of infinite point groups, sufficiently large finite groups and groups containing translations and rotations. For the case of finite groups we also derive results concerning the probability of assigning group labels to a quotient graph so that the resulting lift is symmetrically rigid in $\mathbb{R}^d$.

math.CO↗