Source author record

Anthony Nixon

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.CO math.MG Discrete Mathematics math.GR

Catalog footprint

Research overview

15works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2022arXiv

Uniquely realisable graphs in analytic normed planes

A bar-joint framework $(G,p)$ in the Euclidean space $\mathbb{E}^d$ is globally rigid if it is the unique realisation, up to rigid congruences, of $G$ in $\mathbb{E}^d$ with the edge lengths of $(G,p)$ . Building on key results of Hendrickson and Connelly, Jackson and Jordán gave a complete combinatorial characterisation of when a generic framework is global rigidity in $\mathbb{E}^2$ . We prove an analogous result when the Euclidean norm is replaced by any norm that is analytic on $\mathbb{R}^2 \setminus \{0\}$ . More precisely, we show that a graph $G=(V,E)$ is globally rigid in a non-Euclidean analytic normed plane if and only if $G$ is 2-connected and $G-e$ contains 2 edge-disjoint spanning trees for all $e\in E$ . The main technical tool is a recursive construction of 2-connected and redundantly rigid graphs in analytic normed planes. We also obtain some sufficient conditions for global rigidity as corollaries of our main result and prove that the analogous necessary conditions hold in $d$ -dimensional analytic normed spaces.

preprint2022arXiv

Universal Rigidity of Ladders on the line

In "Universal rigidity on the line, point orde" it is shown, answering a question of Jordán and Nguyen, that universal rigidity of a generic bar-joint framework in R^1 depends on more than the ordering of the vertices. The graph G that was used in that paper is a ladder with three rungs. Here we provide a general answer when that ladder with three rungs in the line is universally rigid and when it is not.

preprint2020arXiv

An improved bound for the rigidity of linearly constrained frameworks

We consider the problem of characterising the generic rigidity of bar-joint frameworks in $\mathbb{R}^d$ in which each vertex is constrained to lie in a given affine subspace. The special case when $d=2$ was previously solved by I. Streinu and L. Theran in 2010 and the case when each vertex is constrained to lie in an affine subspace of dimension $t$ , and $d\geq t(t-1)$ was solved by Cruickshank, Guler and the first two authors in 2019. We extend the latter result by showing that the given characterisation holds whenever $d\geq 2t$ .

preprint2020arXiv

Rigidity of symmetric frameworks in normed spaces

We develop a combinatorial rigidity theory for symmetric bar-joint frameworks in a general finite dimensional normed space. In the case of rotational symmetry, matroidal Maxwell-type sparsity counts are identified for a large class of $d$ -dimensional normed spaces (including all $\ell^p$ spaces with $p\not=2$ ). Complete combinatorial characterisations are obtained for half-turn rotation in the $\ell^1$ and $\ell^\infty$ -plane. As a key tool, a new Henneberg-type inductive construction is developed for the matroidal class of $(2,2,0)$ -gain-tight graphs.

preprint2016arXiv

Rigid cylindrical frameworks with two coincident points

We develop a rigidity theory for frameworks in $\mathbb{R}^3$ which have two coincident points but are otherwise generic and only infinitesimal motions which are tangential to a family of cylinders induced by the realisation are considered. We then apply our results to show that vertex splitting, under the additional assumption that the new edge is redundant, preserves the property of being generically globally rigid on families of concentric cylinders.

preprint2015arXiv

Generating groups using hypergraphs

To a set $\mathcal{B}$ of 4-subsets of a set $Ω$ of size $n$ we introduce an invariant called the `hole stabilizer' which generalises a construction of Conway, Elkies and Martin of the Mathieu group $M_{12}$ based on Loyd's `15-puzzle'. It is shown that hole stabilizers may be regarded as objects inside an objective partial group (in the sense of Chermak). We classify pairs $(Ω,\mathcal{B})$ with a trivial hole stabilizer, and determine all hole stabilizers associated to $2$ - $(n,4,λ)$ designs with $λ\leq 2$ .

preprint2015arXiv

Stress matrices and global rigidity of frameworks on surfaces

In 2005, Bob Connelly showed that a generic framework in $\bR^d$ is globally rigid if it has a stress matrix of maximum possible rank, and that this sufficient condition for generic global rigidity is preserved by the 1-extension operation. His results gave a key step in the characterisation of generic global rigidity in the plane. We extend these results to frameworks on surfaces in $\bR^3$. For a framework on a family of concentric cylinders, cones or ellipsoids, we show that there is a natural surface stress matrix arising from assigning edge and vertex weights to the framework, in equilibrium at each vertex. In the case of cylinders and ellipsoids, we show that having a maximum rank stress matrix is sufficient to guarantee generic global rigidity on the surface. We then show that this sufficient condition for generic global rigidity is preserved under 1-extension and use this to make progress on the problem of characterising generic global rigidity on the cylinder.

preprint2015arXiv

Symmetry-forced rigidity of frameworks on surfaces

A fundamental theorem of Laman characterises when a bar-joint framework realised generically in the Euclidean plane admits a non-trivial continuous deformation of its vertices. This has recently been extended in two ways. Firstly to frameworks that are symmetric with respect to some point group but are otherwise generic, and secondly to frameworks in Euclidean 3-space that are constrained to lie on 2-dimensional algebraic varieties. We combine these two settings and consider the rigidity of symmetric frameworks realised on such surfaces. By extending the orbit matrix techniques of [32, 12], we prove necessary conditions for a framework to be symmetry-forced rigid (i.e., to have no non-trivial symmetry-preserving motion) for any group and any surface. In the cases when the surface is a sphere, a cylinder or a cone we use Henneberg-type inductive constructions on group-labeled quotient graphs to prove that these conditions are also sufficient for a number of symmetry groups, including rotation, reflection, inversion and dihedral symmetry. For the remaining groups - as well as for other types of surfaces - we provide some observations and conjectures.

preprint2014arXiv

A characterisation of generically rigid frameworks on surfaces of revolution

A foundational theorem of Laman provides a counting characterisation of the finite simple graphs whose generic bar-joint frameworks in two dimensions are infinitesimally rigid. Recently a Laman-type characterisation was obtained for frameworks in three dimensions whose vertices are constrained to concentric spheres or to concentric cylinders. Noting that the plane and the sphere have 3 independent locally tangential infinitesimal motions while the cylinder has 2, we obtain here a Laman-Henneberg theorem for frameworks on algebraic surfaces with a 1-dimensional space of tangential motions. Such surfaces include the torus, helicoids and surfaces of revolution. The relevant class of graphs are the (2,1)-tight graphs, in contrast to (2,3)-tightness for the plane/sphere and (2,2)-tightness for the cylinder. The proof uses a new characterisation of simple (2,1)-tight graphs and an inductive construction requiring generic rigidity preservation for 5 graph moves, including the two Henneberg moves, an edge joining move and various vertex surgery moves.

preprint2014arXiv

Symmetry adapted Assur decompositions

Assur graphs are a tool originally developed by mechanical engineers to decompose mechanisms for simpler analysis and synthesis. Recent work has connected these graphs to strongly directed graphs, and decompositions of the pinned rigidity matrix. Many mechanisms have initial configurations which are symmetric, and other recent work has exploited the orbit matrix as a symmetry adapted form of the rigidity matrix. This paper explores how the decomposition and analysis of symmetric frameworks and their symmetric motions can be supported by the new symmetry adapted tools.

preprint2013arXiv

A Constructive Characterisation of Circuits in the Simple (2,2)-sparsity Matroid

We provide a constructive characterisation of circuits in the simple (2,2)-sparsity matroid. A circuit is a simple graph G=(V,E) with |E|=2|V|-1 and the number of edges induced by any $X \subsetneq V$ is at most 2|X|-2. Insisting on simplicity results in the Henneberg operation being enough only when the graph is sufficiently connected. Thus we introduce 3 different join operations to complete the characterisation. Extensions are discussed to when the sparsity matroid is connected and this is applied to the theory of frameworks on surfaces to provide a conjectured characterisation of when frameworks on an infinite circular cylinder are generically globally rigid.

preprint2013arXiv

Necessary Conditions for the Generic Global Rigidity of Frameworks on Surfaces

A result due in its various parts to Hendrickson, Connelly, and Jackson and Jordán, provides a purely combinatorial characterisation of global rigidity for generic bar-joint frameworks in $\mathbb{R}^2$ . The analogous conditions are known to be insufficient to characterise generic global rigidity in higher dimensions. Recently Laman-type characterisations of rigidity have been obtained for generic frameworks in $\mathbb{R}^3$ when the vertices are constrained to lie on various surfaces, such as the cylinder and the cone. In this paper we obtain analogues of Hendrickson's necessary conditions for the global rigidity of generic frameworks on the cylinder, cone and ellipsoid.

preprint2013arXiv

One brick at a time: a survey of inductive constructions in rigidity theory

We present a survey of results concerning the use of inductive constructions to study the rigidity of frameworks. By inductive constructions we mean simple graph moves which can be shown to preserve the rigidity of the corresponding framework. We describe a number of cases in which characterisations of rigidity were proved by inductive constructions. That is, by identifying recursive operations that preserved rigidity and proving that these operations were sufficient to generate all such frameworks. We also outline the use of inductive constructions in some recent areas of particularly active interest, namely symmetric and periodic frameworks, frameworks on surfaces, and body-bar frameworks. We summarize the key outstanding open problems related to inductions.

preprint2012arXiv

An Inductive Construction of (2,1)-tight Graphs

The simple graphs $G=(V,E)$ that satisfy $|E'|\leq 2|V'|-l$ for any subgraph (and for $l=1,2,3$ ) are the $(2,l)$ -sparse graphs. Those that also satisfy $|E|=2|V|-l$ are the $(2,l)$ -tight graphs. These can be characterised by their decompositions into two edge disjoint spanning subgraphs of various types. The Henneberg--Laman theorem characterises $(2,3)$ -tight graphs inductively in terms of two simple moves, known as the Henneberg moves. Recently this has been extended, via the addition of a graph extension move, to the case of $(2,2)$ -tight graphs. Here an alternative characterisation is provided by means of vertex-to- $K_4$ and edge-to- $K_3$ moves, and this is extended to the $(2,1)$ -tight graphs by addition of an edge joining move. Similar characterisations of $(2,l)$ -sparse graphs are also provided.

preprint2012arXiv

Periodic Rigidity on a Variable Torus Using Inductive Constructions

In this paper we prove a recursive characterisation of generic rigidity for frameworks periodic with respect to a partially variable lattice. We follow the approach of modelling periodic frameworks as frameworks on a torus and use the language of gain graphs for the finite counterpart of a periodic graph. In this setting we employ variants of the Henneberg operations used frequently in rigidity theory.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Anthony Nixon

Research overview

Is this your work?

15 publications

Uniquely realisable graphs in analytic normed planes

Universal Rigidity of Ladders on the line

An improved bound for the rigidity of linearly constrained frameworks

Rigidity of symmetric frameworks in normed spaces

Rigid cylindrical frameworks with two coincident points

Generating groups using hypergraphs

Stress matrices and global rigidity of frameworks on surfaces

Symmetry-forced rigidity of frameworks on surfaces

A characterisation of generically rigid frameworks on surfaces of revolution

Symmetry adapted Assur decompositions

A Constructive Characterisation of Circuits in the Simple (2,2)-sparsity Matroid

Necessary Conditions for the Generic Global Rigidity of Frameworks on Surfaces

One brick at a time: a survey of inductive constructions in rigidity theory

An Inductive Construction of (2,1)-tight Graphs

Periodic Rigidity on a Variable Torus Using Inductive Constructions

See the researcher in context

Building this map preview